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