diff options
| author |  wuestholz <unknown> | 2014-07-03 03:27:25 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-07-03 03:27:25 +0200 |
| commit | c7508e18b12db7a1acee981560163e2c319dfc5b (patch) | |
| tree | 711002eade12b7c52253b76b33c47547546ec31f /Test/snapshots/Snapshots17.v1.bpl | |
| parent | d274c9f110459096a71b8aabbcf7cf27582bf70e (diff) | |
Made it not include free preconditions when producing partially verified preconditions.
Diffstat (limited to 'Test/snapshots/Snapshots17.v1.bpl')
0 files changed, 0 insertions, 0 deletions