add str-to-int test

kadena-io · Sep 25, 2023 · 3ae6527 · 3ae6527
1 parent c304dd7
commit 3ae6527
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/tests/AnalyzeSpec.hs b/tests/AnalyzeSpec.hs
@@ -2372,6 +2372,14 @@ spec = describe "analyze" $ do
 
   describe "str-to-int" $ do
     describe "without specified base" $ do
+      describe "as property" $
+        let code =
+              [text|
+                (defun test:integer ()
+                  @model[(property (= result (str-to-int "123")))]
+                  (str-to-int "123"))
+              |]
+        in expectVerified code
       describe "concrete string" $ do
         describe "valid inputs" $
           let code =