Rename checkValid/query to checkEntailed. (#4191)

[cvc5.git] / test / regress / regress0 / logops.05.cvc

a, b, c: BOOLEAN;
% EXPECT: entailed
QUERY TRUE XOR FALSE;