diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-21 22:17:25 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-21 22:17:25 +0100 |
| commit | e4164dd5c959a5252a0954f980bb900581286707 (patch) | |
| tree | 26403dafd8509fc519e58f2aebdb4a551724797d /Source/VCGeneration/ConditionGeneration.cs | |
| parent | 48dbb157f0214610594ef9a67bcea113fd293c57 (diff) | |
Add missing run lines (based off Test/doomed/runtest.bat) to doomed
tests. These are really broken because Boogie just seems to hang
when they are executed. So they aren't executed right now.
I'm not sure what to do with the other .bpl files. ``schaef``
left them lying around.
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
0 files changed, 0 insertions, 0 deletions