diff --git a/samples/outputs/theories.c.bin.err.expected b/samples/outputs/theories.c.bin.err.expected new file mode 100644 index 0000000..f9937c1 --- /dev/null +++ b/samples/outputs/theories.c.bin.err.expected @@ -0,0 +1,21 @@ +[----] theories.c:27: Assertion failed: The expression (a) == (bad_div(bad_mul(a, b), b)) is false. +[----] Theory algebra::bad_divide_is_inverse_of_multiply failed with the following parameters: (2147483647, 2) +[----] theories.c:27: Assertion failed: The expression (a) == (bad_div(bad_mul(a, b), b)) is false. +[----] Theory algebra::bad_divide_is_inverse_of_multiply failed with the following parameters: (-2147483648, 2) +[----] theories.c:27: Unexpected signal caught below this line! +[FAIL] algebra::bad_divide_is_inverse_of_multiply: CRASH! +[----] theories.c:120: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::gen failed with the following parameters: (1) +[----] theories.c:120: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::gen failed with the following parameters: (2) +[----] theories.c:120: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::gen failed with the following parameters: (3) +[----] theories.c:120: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::gen failed with the following parameters: (4) +[----] theories.c:120: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::gen failed with the following parameters: (5) +[FAIL] theory::gen: (0.00s) +[----] theories.c:103: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::misc failed with the following parameters: ('a', true, 1, 1, 1l, 1l, 3.14f, 3.14, "test", "other test", 0x604698) +[FAIL] theory::misc: (0.00s) +[====] Synthesis: Tested: 6 | Passing: 3 | Failing: 3 | Crashing: 1  diff --git a/samples/outputs/theories.c.bin.out.expected b/samples/outputs/theories.c.bin.out.expected new file mode 100644 index 0000000..e69de29 diff --git a/samples/outputs/theories.cc.bin.err.expected b/samples/outputs/theories.cc.bin.err.expected new file mode 100644 index 0000000..c35d60c --- /dev/null +++ b/samples/outputs/theories.cc.bin.err.expected @@ -0,0 +1,21 @@ +[----] theories.cc:31: Assertion failed: The expression (a) == (bad_div(bad_mul(a, b), b)) is false. +[----] Theory algebra::bad_divide_is_inverse_of_multiply failed with the following parameters: (2147483647, 2) +[----] theories.cc:31: Assertion failed: The expression (a) == (bad_div(bad_mul(a, b), b)) is false. +[----] Theory algebra::bad_divide_is_inverse_of_multiply failed with the following parameters: (-2147483648, 2) +[----] theories.cc:31: Unexpected signal caught below this line! +[FAIL] algebra::bad_divide_is_inverse_of_multiply: CRASH! +[----] theories.cc:128: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::gen failed with the following parameters: (1) +[----] theories.cc:128: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::gen failed with the following parameters: (2) +[----] theories.cc:128: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::gen failed with the following parameters: (3) +[----] theories.cc:128: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::gen failed with the following parameters: (4) +[----] theories.cc:128: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::gen failed with the following parameters: (5) +[FAIL] theory::gen: (0.00s) +[----] theories.cc:111: Assertion failed: The conditions for this assertion were not met. +[----] Theory theory::misc failed with the following parameters: ('a', true, 1, 1, 1l, 1l, 3.14f, 3.14, "test", "other test", 0x605480) +[FAIL] theory::misc: (0.00s) +[====] Synthesis: Tested: 6 | Passing: 3 | Failing: 3 | Crashing: 1  diff --git a/samples/outputs/theories.cc.bin.out.expected b/samples/outputs/theories.cc.bin.out.expected new file mode 100644 index 0000000..e69de29