From 0da46530016624620f50172fc84b8ca33e486730 Mon Sep 17 00:00:00 2001
From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
Date: Tue, 26 Sep 2023 06:58:46 +0700
Subject: [PATCH] ci: additionally check that Picus terminates properly

This would have caught the mistake fixed in #38
---
 tests/circomlib-test.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tests/circomlib-test.rkt b/tests/circomlib-test.rkt
index f851b55..9e6a1d7 100644
--- 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))