1 2 3 4 5 6
; COMMAND-LINE: --no-strings-lazy-pp -q ; EXPECT: sat (set-logic ALL) (declare-fun s () String) (assert (xor (= (str.at s (div 0 0)) "A") (= (div 0 (str.len s)) 0))) (check-sat)