example: update transcendental

bruderj15 · Nov 28, 2024 · 22b7caa · 22b7caa
1 parent b39fd16
commit 22b7caa
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 ()