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

Update test-z3-inc-uniqueness.rkt

Browse Source
This commit is contained in:
chyanju
2022-08-09 16:51:13 -04:00
parent 56efe5cd20
commit 89d898ebc6
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
test-z3-inc-uniqueness.rkt
View File

@@ -190,6 +190,7 @@
(list "; =================================== ;")
(list "")
known-raw
(list "")
(list "; =================================== ;")
(list "; ======== query constraints ======== ;")
(list "; =================================== ;")
@@ -199,7 +200,7 @@
))
; (define final-str (string-join final-raw "\n"))
(define final-str (string-append
"(set-logic QF_NIA)\n"
"(set-logic QF_NIA)\n\n"
(optimization-p (string-join final-raw "\n"))
))
(define res (do-solve final-str arg-timeout))