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

Removed theory parameter printing from sample & regression test

Browse source
This commit is contained in:
Snaipe 2015-09-26 00:36:51 +02:00
parent 6110f43d87
commit 4cc826eae3
4 changed files with 12 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
samples/outputs/theories.c.bin.err.expected
View file

@ -4,18 +4,15 @@
[----] 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.
[----] theories.c:117: 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.
[----] theories.c:117: 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.
[----] theories.c:117: 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.
[----] theories.c:117: 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.
[----] theories.c:117: 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 
[====] Synthesis: Tested: 6 | Passing: 4 | Failing: 2 | Crashing: 1 

15
samples/outputs/theories.cc.bin.err.expected
View file

@ -4,18 +4,15 @@
[----] 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.
[----] theories.cc:125: 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.
[----] theories.cc:125: 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.
[----] theories.cc:125: 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.
[----] theories.cc:125: 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.
[----] theories.cc:125: 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 
[====] Synthesis: Tested: 6 | Passing: 4 | Failing: 2 | Crashing: 1 

3
samples/theories.c
View file

@ -98,9 +98,6 @@ Theory((char c, bool b, short s, int i, long l, long long ll, float f, double d,
cr_assert_str_eq(str, "test");
cr_assert_str_eq(cstr, "other test");
cr_assert_eq(obj->foo, 42);
// abort to see the formatted string of all parameters
cr_assert_fail();
}
// Manually generate datapoints

3
samples/theories.cc
View file

@ -106,9 +106,6 @@ Theory((char c, bool b, short s, int i, long l, long long ll, float f, double d,
cr_assert_str_eq(str, "test");
cr_assert_str_eq(cstr, "other test");
cr_assert_eq(obj->foo, 42);
// abort to see the formatted string of all parameters
cr_assert_fail();
}
// Manually generate datapoints