diff options
author | rustanleino <unknown> | 2011-03-10 01:20:05 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2011-03-10 01:20:05 +0000 |
commit | e28c62b12194be07e3ecb3301e6b3e0336bcac2a (patch) | |
tree | d7696df3fee35aeff3cc56f333c0923fbdfa9d4f /Binaries/UnivBackPred2.sx | |
parent | b3f70e3d20aa57440ea5b398180581a9933daed4 (diff) |
Updated PrepareBoogieZip.bat to include BVD and smt2
Ignore duplicated else functions in models
Diffstat (limited to 'Binaries/UnivBackPred2.sx')
0 files changed, 0 insertions, 0 deletions