; COMMAND-LINE: --bitblast=eager
; COMMAND-LINE: --bitblast=eager --bv-solver=simple
(set-info :status sat)
(set-logic QF_BV)
(declare-fun x () Bool)
(declare-fun y () Bool)
(assert (xor y x))
(check-sat)