Permalink
Browse files

Improve test case

  • Loading branch information...
1 parent 9acc8f0 commit 2921e16a6568e7876452851adf03b6cab32c4ddc @LeventErkok committed Aug 31, 2012
@@ -1,2 +1,5 @@
-Satisfiable. Model:
- s0 = 28 :: SInteger
+Solution #1:
+ s0 = 16 :: SInteger
+Solution #2:
+ s0 = 28 :: SInteger
+Found 2 different solutions.
@@ -2,4 +2,4 @@
module SBVUnitTestBuildTime (buildTime) where
buildTime :: String
-buildTime = "Thu Aug 30 23:15:19 PDT 2012"
+buildTime = "Thu Aug 30 23:34:05 PDT 2012"
@@ -19,5 +19,5 @@ import SBVTest
-- Test suite
testSuite :: SBVTestSuite
testSuite = mkTestSuite $ \goldCheck -> test [
- "temperature" ~: sat (revOf `fmap` exists_) `goldCheck` "temperature.gold"
+ "temperature" ~: allSat (revOf `fmap` exists_) `goldCheck` "temperature.gold"
]

0 comments on commit 2921e16

Please sign in to comment.