diff options
author | leino <unknown> | 2014-08-13 07:24:33 -0700 |
---|---|---|
committer | leino <unknown> | 2014-08-13 07:24:33 -0700 |
commit | 2a6bd63460d27db7fc11f7b99e231f4f587b6a70 (patch) | |
tree | 26d89193bc29b6c469eb41a8f88b531e4f7c9513 /Test/dafny0/snapshots/Snapshots2.v0.dfy | |
parent | 9f24fd54271e0e70aba494905416f58ff0348c7c (diff) |
Re-included lost calls to CheckEqualityTypes_Type
Modified syntax in some tests, since predicates now require parentheses (without parentheses refers to a predicate, not an application of the predicate)
Diffstat (limited to 'Test/dafny0/snapshots/Snapshots2.v0.dfy')
-rw-r--r-- | Test/dafny0/snapshots/Snapshots2.v0.dfy | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Test/dafny0/snapshots/Snapshots2.v0.dfy b/Test/dafny0/snapshots/Snapshots2.v0.dfy index 37b9982b..727e177d 100644 --- a/Test/dafny0/snapshots/Snapshots2.v0.dfy +++ b/Test/dafny0/snapshots/Snapshots2.v0.dfy @@ -5,15 +5,15 @@ method M() }
method N()
- ensures P;
+ ensures P();
-predicate P
- ensures P == Q;
+predicate P()
+ ensures P() == Q();
-predicate Q
- ensures Q == R;
+predicate Q()
+ ensures Q() == R();
-predicate R
+predicate R()
{
false
}
|