summaryrefslogtreecommitdiff
path: root/test/regress/regress0/sygus/pbe-pred-contra.sy
blob: 5bd6ebae4b05de3492a5554af5cb910e9a154272 (plain) 
1
2
3
4
5
6
7

; COMMAND-LINE: --lang=sygus2 --sygus-si=none --sygus-out=status
; EXPECT: unknown
(set-logic LIA)
(synth-fun P ((x Int)) Bool)
(constraint (P 54))
(constraint (not (P 54)))
(check-synth)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback