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

Updated theory regression test output

Browse source
This commit is contained in:
Snaipe 2015-09-28 22:01:51 +02:00
parent 4352878db6
commit fb6b0a6eaf
4 changed files with 16 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,15 +1,15 @@
[----] theories_regression.c:52: Assertion failed: The conditions for this assertion were not met.
[----] 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:52: Assertion failed: The conditions for this assertion were not met.
[----] 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:52: Assertion failed: The conditions for this assertion were not met.
[----] 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:52: Assertion failed: The conditions for this assertion were not met.
[----] 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:52: Assertion failed: The conditions for this assertion were not met.
[----] 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: (0.00s)
[----] theories_regression.c:35: 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")
[----] 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: (0.00s)
[====] Synthesis: Tested: 2 | Passing: 0 | Failing: 2 | Crashing: 0 

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

@ -1,15 +1,15 @@
[----] theories_regression.cc:54: Assertion failed: The conditions for this assertion were not met.
[----] 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:54: Assertion failed: The conditions for this assertion were not met.
[----] 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:54: Assertion failed: The conditions for this assertion were not met.
[----] 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:54: Assertion failed: The conditions for this assertion were not met.
[----] 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:54: Assertion failed: The conditions for this assertion were not met.
[----] 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: (0.00s)
[----] theories_regression.cc:37: 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")
[----] 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: (0.00s)
[====] Synthesis: Tested: 2 | Passing: 0 | Failing: 2 | Crashing: 0 

6
samples/tests/theories_regression.c
View file

@ -11,15 +11,13 @@ TheoryDataPoints(theory, misc) = {
DataPoints(bool, true),
DataPoints(short, 1),
DataPoints(int, 1),
DataPoints(long, 1),
DataPoints(long long, 1),
DataPoints(float, 3.14f),
DataPoints(double, 3.14),
DataPoints(char *, "test"),
DataPoints(const char *, "other test"),
};
Theory((char c, bool b, short s, int i, long l, long long ll, float f, double d, char *str, const char *cstr), theory, misc) {
Theory((char c, bool b, short s, int i, float f, double d, char *str, const char *cstr), theory, misc) {
float reff = 3.14f;
double refd = 3.14;
@ -27,8 +25,6 @@ Theory((char c, bool b, short s, int i, long l, long long ll, float f, double d,
cr_assert_eq(c, 'a');
cr_assert_eq(s, 1);
cr_assert_eq(i, 1);
cr_assert_eq(l, 1);
cr_assert_eq(ll, 1);
cr_assert_eq(f, reff);
cr_assert_eq(d, refd);
cr_assert_str_eq(str, "test");

6
samples/tests/theories_regression.cc
View file

@ -13,15 +13,13 @@ TheoryDataPoints(theory, misc) = {
DataPoints(bool, true),
DataPoints(short, 1),
DataPoints(int, 1),
DataPoints(long, 1),
DataPoints(long long, 1),
DataPoints(float, 3.14f),
DataPoints(double, 3.14),
DataPoints(char *, test_str),
DataPoints(const char *, "other test"),
};
Theory((char c, bool b, short s, int i, long l, long long ll, float f, double d, char *str, const char *cstr), theory, misc) {
Theory((char c, bool b, short s, int i, float f, double d, char *str, const char *cstr), theory, misc) {
float reff = 3.14f;
double refd = 3.14;
@ -29,8 +27,6 @@ Theory((char c, bool b, short s, int i, long l, long long ll, float f, double d,
cr_assert_eq(c, 'a');
cr_assert_eq(s, 1);
cr_assert_eq(i, 1);
cr_assert_eq(l, 1);
cr_assert_eq(ll, 1);
cr_assert_eq(f, reff);
cr_assert_eq(d, refd);
cr_assert_str_eq(str, "test");