1 2 3 4 5 6 7 8
; COMMAND-LINE: --ee-mode=distributed ; COMMAND-LINE: --ee-mode=central ; EXPECT: sat (set-logic ALL) (set-info :status sat) (declare-fun S () (Set (_ BitVec 1))) (assert (not (= S (as set.empty (Set (_ BitVec 1)))))) (check-sat)