1 2 3 4 5 6 7 8 9
; COMMAND-LINE: --cbqi-bv ; EXPECT: sat (set-logic BV) (set-info :status sat) (declare-fun a () (_ BitVec 32)) (assert (forall ((x (_ BitVec 32))) (not (bvult a x)))) (check-sat)