diff options
| author |  rustanleino <unknown> | 2009-11-05 01:24:43 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-11-05 01:24:43 +0000 |
| commit | ddede5ad5f9236d8ee4e1e75ba3ecfd7077d9296 (patch) | |
| tree | b2c7adc1e94b67d774aec3520d9c285662f94b60 /Test/test2/AssumeEnsures.bpl | |
| parent | b5a942353fc4cf0b6a6c3df853860171e421a26a (diff) | |
Introduced operator !in in Dafny. An expression "x !in S" is equivalent to "!(x in S)".
Changed Dafny test files to use the new operator.
Included the file b8.dfy into the VSI-Benchmarks test harness.
Diffstat (limited to 'Test/test2/AssumeEnsures.bpl')
0 files changed, 0 insertions, 0 deletions