stv0g/Criterion
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Added regression tests on theories

Browse source
This commit is contained in:
Snaipe 2015-09-26 00:31:57 +02:00
parent 8db5def5e3
commit 6110f43d87
4 changed files with 42 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
samples/outputs/theories.c.bin.err.expected Normal file
View file

@ -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 

0
samples/outputs/theories.c.bin.out.expected Normal file
View file

21
samples/outputs/theories.cc.bin.err.expected Normal file
View file

@ -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 

0
samples/outputs/theories.cc.bin.out.expected Normal file
View file