Support unicode internal representation and escape sequences (#3852)

[cvc5.git] / test / regress / regress0 / bug32.cvc

% EXPECT: valid
a:BOOLEAN;
b:BOOLEAN;
ASSERT(a);
QUERY(a OR b);