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

Fixed theories regression tests

Browse source
This commit is contained in:
Snaipe 2015-12-08 01:56:01 +01:00
parent 6c248da321
commit df7d47f184
2 changed files with 2 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
samples/tests/outputs/theories_regression.c.bin.err.expected
View file

@ -1,15 +1,4 @@
[----] theories_regression.c:51: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::gen failed with the following parameters: (1)
[----] theories_regression.c:51: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::gen failed with the following parameters: (2)
[----] theories_regression.c:51: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::gen failed with the following parameters: (3)
[----] theories_regression.c:51: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::gen failed with the following parameters: (4)
[----] theories_regression.c:51: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::gen failed with the following parameters: (5)
[FAIL] theory::gen
[----] theories_regression.c:34: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::misc failed with the following parameters: ('a', true, 1, 1, 3.14f, 3.14, "test", "other test")
[FAIL] theory::misc
[====] Synthesis: Tested: 2 | Passing: 0 | Failing: 2 | Crashing: 0 
[====] Synthesis: Tested: 1 | Passing: 0 | Failing: 1 | Crashing: 0 

13
samples/tests/outputs/theories_regression.cc.bin.err.expected
View file

@ -1,15 +1,4 @@
[----] theories_regression.cc:53: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::gen failed with the following parameters: (1)
[----] theories_regression.cc:53: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::gen failed with the following parameters: (2)
[----] theories_regression.cc:53: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::gen failed with the following parameters: (3)
[----] theories_regression.cc:53: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::gen failed with the following parameters: (4)
[----] theories_regression.cc:53: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::gen failed with the following parameters: (5)
[FAIL] theory::gen
[----] theories_regression.cc:36: Assertion failed: The conditions for this assertion were not met.
[----] Theory theory::misc failed with the following parameters: ('a', true, 1, 1, 3.14f, 3.14, "test", "other test")
[FAIL] theory::misc
[====] Synthesis: Tested: 2 | Passing: 0 | Failing: 2 | Crashing: 0 
[====] Synthesis: Tested: 1 | Passing: 0 | Failing: 1 | Crashing: 0