1 2 3 4 5 6 7
; COMMAND-LINE: --produce-interpols=default --check-interpols ; SCRUBBER: grep -v -E '(\(define-fun)' ; EXIT: 0 (set-logic LIA) (declare-fun a () Int) (assert (> a 1)) (get-interpol A (> a 0))