Merge pull request #120 from bruderj15/some

example: update transcendental
bruderj15 · Nov 28, 2024 · cc90863 · cc90863
2 parents ba0ff75 + 22b7caa
commit cc90863
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/Language/Hasmtlib/Example/Transcendental.hs b/src/Language/Hasmtlib/Example/Transcendental.hs
@@ -4,15 +4,14 @@ import Language.Hasmtlib
 
 main :: IO ()
 main = do
-  res <- solveWith @SMT (solver cvc5) $ do
+  res <- solveWith @SMT (solver $ debugging verbosely cvc5) $ do
     setLogic "ALL"
 
     x <- var @RealSort
 
-    assert $ x >? sin 3
+    assert $ 0 === sin x
+    assert $ x >? 0
 
     return x
 
   print res
-
-  return ()