1 2 3 4 5 6 7 8 9 10 11
; EXPECT: unsat ; COMMAND-LINE: --cegqi-si=all --sygus-out=status (set-logic LIA) (synth-fun fb () Int ((Start Int ((Constant Int))))) (synth-fun fc () Int ((Start Int ((Constant Int))))) (constraint (= fc (+ fb 10))) (check-synth)