From 4cc826eae345063803466f1254648ca46adb2101 Mon Sep 17 00:00:00 2001 From: Snaipe Date: Sat, 26 Sep 2015 00:36:51 +0200 Subject: [PATCH] Removed theory parameter printing from sample & regression test --- samples/outputs/theories.c.bin.err.expected | 15 ++++++--------- samples/outputs/theories.cc.bin.err.expected | 15 ++++++--------- samples/theories.c | 3 --- samples/theories.cc | 3 --- 4 files changed, 12 insertions(+), 24 deletions(-) diff --git a/samples/outputs/theories.c.bin.err.expected b/samples/outputs/theories.c.bin.err.expected index f9937c1..95b4603 100644 --- a/samples/outputs/theories.c.bin.err.expected +++ b/samples/outputs/theories.c.bin.err.expected @@ -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  diff --git a/samples/outputs/theories.cc.bin.err.expected b/samples/outputs/theories.cc.bin.err.expected index c35d60c..bc647a1 100644 --- a/samples/outputs/theories.cc.bin.err.expected +++ b/samples/outputs/theories.cc.bin.err.expected @@ -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  diff --git a/samples/theories.c b/samples/theories.c index 0bbe7cc..b4ca6d2 100644 --- a/samples/theories.c +++ b/samples/theories.c @@ -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 diff --git a/samples/theories.cc b/samples/theories.cc index 5602754..23c0ebc 100644 --- a/samples/theories.cc +++ b/samples/theories.cc @@ -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