Removed theory parameter printing from sample & regression test

Snaipe · Sep 25, 2015 · 4cc826e · 4cc826e
1 parent 6110f43
commit 4cc826e
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 24 deletions.
diff --git a/samples/outputs/theories.c.bin.err.expected b/samples/outputs/theories.c.bin.err.expected
@@ -4,18 +4,15 @@
 [[0;34m----[0m]   Theory algebra::bad_divide_is_inverse_of_multiply failed with the following parameters: (-2147483648, 2)
 [[0;34m----[0m] [0;1mtheories.c[0m:[0;31m27[0m: Unexpected signal caught below this line!
 [[0;31mFAIL[0m] algebra::bad_divide_is_inverse_of_multiply: CRASH!
-[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m120[0m: Assertion failed: The conditions for this assertion were not met.
+[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m117[0m: Assertion failed: The conditions for this assertion were not met.
 [[0;34m----[0m]   Theory theory::gen failed with the following parameters: (1)
-[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m120[0m: Assertion failed: The conditions for this assertion were not met.
+[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m117[0m: Assertion failed: The conditions for this assertion were not met.
 [[0;34m----[0m]   Theory theory::gen failed with the following parameters: (2)
-[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m120[0m: Assertion failed: The conditions for this assertion were not met.
+[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m117[0m: Assertion failed: The conditions for this assertion were not met.
 [[0;34m----[0m]   Theory theory::gen failed with the following parameters: (3)
-[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m120[0m: Assertion failed: The conditions for this assertion were not met.
+[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m117[0m: Assertion failed: The conditions for this assertion were not met.
 [[0;34m----[0m]   Theory theory::gen failed with the following parameters: (4)
-[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m120[0m: Assertion failed: The conditions for this assertion were not met.
+[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m117[0m: Assertion failed: The conditions for this assertion were not met.
 [[0;34m----[0m]   Theory theory::gen failed with the following parameters: (5)
 [[0;31mFAIL[0m] theory::gen: (0.00s)
-[[0;34m----[0m] [0;1mtheories.c[0m:[0;31m103[0m: Assertion failed: The conditions for this assertion were not met.
-[[0;34m----[0m]   Theory theory::misc failed with the following parameters: ('a', true, 1, 1, 1l, 1l, 3.14f, 3.14, "test", "other test", 0x604698)
-[[0;31mFAIL[0m] theory::misc: (0.00s)
-[[0;34m====[0m] [0;1mSynthesis: Tested: [0;34m6[0;1m | Passing: [0;32m3[0;1m | Failing: [0;31m3[0;1m | Crashing: [0;31m1[0;1m [0m
+[[0;34m====[0m] [0;1mSynthesis: Tested: [0;34m6[0;1m | Passing: [0;32m4[0;1m | Failing: [0;31m2[0;1m | Crashing: [0;31m1[0;1m [0m
diff --git a/samples/outputs/theories.cc.bin.err.expected b/samples/outputs/theories.cc.bin.err.expected
@@ -4,18 +4,15 @@
 [[0;34m----[0m]   Theory algebra::bad_divide_is_inverse_of_multiply failed with the following parameters: (-2147483648, 2)
 [[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m31[0m: Unexpected signal caught below this line!
 [[0;31mFAIL[0m] algebra::bad_divide_is_inverse_of_multiply: CRASH!
-[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m128[0m: Assertion failed: The conditions for this assertion were not met.
+[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m125[0m: Assertion failed: The conditions for this assertion were not met.
 [[0;34m----[0m]   Theory theory::gen failed with the following parameters: (1)
-[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m128[0m: Assertion failed: The conditions for this assertion were not met.
+[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m125[0m: Assertion failed: The conditions for this assertion were not met.
 [[0;34m----[0m]   Theory theory::gen failed with the following parameters: (2)
-[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m128[0m: Assertion failed: The conditions for this assertion were not met.
+[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m125[0m: Assertion failed: The conditions for this assertion were not met.
 [[0;34m----[0m]   Theory theory::gen failed with the following parameters: (3)
-[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m128[0m: Assertion failed: The conditions for this assertion were not met.
+[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m125[0m: Assertion failed: The conditions for this assertion were not met.
 [[0;34m----[0m]   Theory theory::gen failed with the following parameters: (4)
-[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m128[0m: Assertion failed: The conditions for this assertion were not met.
+[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m125[0m: Assertion failed: The conditions for this assertion were not met.
 [[0;34m----[0m]   Theory theory::gen failed with the following parameters: (5)
 [[0;31mFAIL[0m] theory::gen: (0.00s)
-[[0;34m----[0m] [0;1mtheories.cc[0m:[0;31m111[0m: Assertion failed: The conditions for this assertion were not met.
-[[0;34m----[0m]   Theory theory::misc failed with the following parameters: ('a', true, 1, 1, 1l, 1l, 3.14f, 3.14, "test", "other test", 0x605480)
-[[0;31mFAIL[0m] theory::misc: (0.00s)
-[[0;34m====[0m] [0;1mSynthesis: Tested: [0;34m6[0;1m | Passing: [0;32m3[0;1m | Failing: [0;31m3[0;1m | Crashing: [0;31m1[0;1m [0m
+[[0;34m====[0m] [0;1mSynthesis: Tested: [0;34m6[0;1m | Passing: [0;32m4[0;1m | Failing: [0;31m2[0;1m | Crashing: [0;31m1[0;1m [0m
diff --git 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
@@ -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