Expect test1 before test2
commitfa6e06165cd5ae875282aa6d59207b15556bdf95
authorSteven Shaw <steven@steshaw.org>
dateFri 5 Aug 2016, 19:15 (10 years ago)
parentd544a6f
test/dsl003/expected+1−1
@@ -1,2 +1,2 @@
1−ForAll INT (ForAll INT (ItHolds (Var (FS FZ) === Var FZ))) : Spec []
21Refl : ARR BOOL (ARR INT UNIT) = ARR BOOL (ARR INT UNIT)
2+ForAll INT (ForAll INT (ItHolds (Var (FS FZ) === Var FZ))) : Spec []