diff options
Diffstat (limited to 'test/regress/regress0/expect/scrub.06.cvc')
-rw-r--r-- | test/regress/regress0/expect/scrub.06.cvc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/regress/regress0/expect/scrub.06.cvc b/test/regress/regress0/expect/scrub.06.cvc new file mode 100644 index 000000000..b9cb1cd8a --- /dev/null +++ b/test/regress/regress0/expect/scrub.06.cvc @@ -0,0 +1,9 @@ +% SCRUBBER: sed -e 's/The fact in question: .*$/The fact in question: TERM/' -e 's/in a linear logic: .*$/in a linear logic: TERM/' -e '/^$/d' +% EXPECT: A non-linear fact (involving div/mod/divisibility) was asserted to arithmetic in a linear logic: TERM +% EXPECT: if you only use division (or modulus) by a constant value, or if you only use the divisibility-by-k predicate, try using the --rewrite-divk option. +% EXPECT: The fact in question: TERM +% EXIT: 1 + +n : REAL; + +QUERY (n/n) = 1;
\ No newline at end of file |