github/Picus
1
1
Fork 0
mirror of https://github.com/Veridise/Picus.git synced 2026-05-11 03:00:06 -04:00
Code Issues Packages Projects Releases Wiki Activity

ci: additionally check that Picus terminates properly

Browse Source 
This would have caught the mistake fixed in #38
This commit is contained in:
Sorawee Porncharoenwase
2023-09-26 06:58:46 +07:00
committed by sorawee
parent eb2e8cda80
commit 0da4653001
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
tests/circomlib-test.rkt
View File

@@ -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))