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/VSI-Benchmarks/Answer | |
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/VSI-Benchmarks/Answer')
-rw-r--r-- | Test/VSI-Benchmarks/Answer | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Test/VSI-Benchmarks/Answer b/Test/VSI-Benchmarks/Answer index 0149855c..a9fd2367 100644 --- a/Test/VSI-Benchmarks/Answer +++ b/Test/VSI-Benchmarks/Answer @@ -26,3 +26,7 @@ Dafny program verifier finished with 12 verified, 0 errors -------------------- b7.dfy --------------------
Dafny program verifier finished with 11 verified, 0 errors
+
+-------------------- b8.dfy --------------------
+
+Dafny program verifier finished with 21 verified, 0 errors
|