ci: additionally check that Picus terminates properly

This would have caught the mistake fixed in #38
Veridise · Sep 26, 2023 · 0da4653 · 0da4653
1 parent eb2e8cd
commit 0da4653
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tests/circomlib-test.rkt b/tests/circomlib-test.rkt
@@ -81,7 +81,8 @@
           ['safe #px"(?m:^weak uniqueness: safe\\.$)"]
           ['unsafe #px"(?m:^weak uniqueness: unsafe\\.$)"]
           ['unknown #px"(?m:^weak uniqueness: unknown\\.$)"])
-        (get-output-string string-port))]
+        (get-output-string string-port))
+       (check-not-false timing-info)]
       ['timeout
        (check-false timing-info)])
     (flush))