projects
/
cvc5.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
982731b3411f9a5bfd2749cd89c008b49662397b
[cvc5.git]
/
test
/
regress
/
regress0
/
error.cvc
1
% EXPECT-ERROR: CVC4 Error:
2
% EXPECT-ERROR: Parse Error: error.cvc:3.9: Symbol BOOL not declared
3
p : BOOL;
4
% EXIT: 1