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

; COMMAND-LINE: --lang=sygus2 --cegqi-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