diff options
Diffstat (limited to 'test/regress/regress0/test12.cvc')
-rw-r--r-- | test/regress/regress0/test12.cvc | 60 |
1 files changed, 30 insertions, 30 deletions
diff --git a/test/regress/regress0/test12.cvc b/test/regress/regress0/test12.cvc index a3d63b497..25245f36a 100644 --- a/test/regress/regress0/test12.cvc +++ b/test/regress/regress0/test12.cvc @@ -1,33 +1,33 @@ -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: VALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: VALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: INVALID -% EXPECT: VALID -% EXPECT: VALID -% EXPECT: VALID +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: valid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: valid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: invalid +% EXPECT: valid +% EXPECT: valid +% EXPECT: valid A: TYPE; P_1: BOOLEAN; P_2: BOOLEAN; |