fix a problem in Test.Smtlib caused by overlapping string representai…

…on of CmdResponse
msakai · Jan 25, 2016 · dfb5071 · dfb5071
1 parent 9be7813
commit dfb5071
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/test/Test/Smtlib.hs b/test/Test/Smtlib.hs
@@ -63,10 +63,9 @@ prop_parseInfoFlags = forAll arbitrary $ \a ->
 
 prop_parseCmdResult :: Property
 prop_parseCmdResult = forAll arbitrary $ \(a :: CmdResponse) ->
-  let b = showSL a
-  in case parse parseCmdResult "" b of
-       Left err -> error (show err)
-       Right a' -> showSL a' == b
+  case parse parseCmdResult "" (showSL a) of
+    Left err -> error (show err)
+    Right a' -> parse parseCmdResult "" (showSL a') == Right a'
 
 prop_parseGenResponse :: Property
 prop_parseGenResponse = forAll arbitrary $ \a ->