diff --git a/samples/outputs/theories.c.bin.err.expected b/samples/outputs/theories.c.bin.err.expected
deleted file mode 100644
index 95b4603..0000000
--- a/samples/outputs/theories.c.bin.err.expected
+++ /dev/null
@@ -1,18 +0,0 @@
-[----] theories.c:27: Assertion failed: The expression (a) == (bad_div(bad_mul(a, b), b)) is false.
-[----]   Theory algebra::bad_divide_is_inverse_of_multiply failed with the following parameters: (2147483647, 2)
-[----] theories.c:27: Assertion failed: The expression (a) == (bad_div(bad_mul(a, b), b)) is false.
-[----]   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:117: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (1)
-[----] theories.c:117: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (2)
-[----] theories.c:117: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (3)
-[----] theories.c:117: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (4)
-[----] 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)
-[====] Synthesis: Tested: 6 | Passing: 4 | Failing: 2 | Crashing: 1 
diff --git a/samples/outputs/theories.c.bin.out.expected b/samples/outputs/theories.c.bin.out.expected
deleted file mode 100644
index e69de29..0000000
diff --git a/samples/outputs/theories.cc.bin.err.expected b/samples/outputs/theories.cc.bin.err.expected
deleted file mode 100644
index bc647a1..0000000
--- a/samples/outputs/theories.cc.bin.err.expected
+++ /dev/null
@@ -1,18 +0,0 @@
-[----] theories.cc:31: Assertion failed: The expression (a) == (bad_div(bad_mul(a, b), b)) is false.
-[----]   Theory algebra::bad_divide_is_inverse_of_multiply failed with the following parameters: (2147483647, 2)
-[----] theories.cc:31: Assertion failed: The expression (a) == (bad_div(bad_mul(a, b), b)) is false.
-[----]   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:125: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (1)
-[----] theories.cc:125: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (2)
-[----] theories.cc:125: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (3)
-[----] theories.cc:125: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (4)
-[----] 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)
-[====] Synthesis: Tested: 6 | Passing: 4 | Failing: 2 | Crashing: 1 
diff --git a/samples/outputs/theories.cc.bin.out.expected b/samples/outputs/theories.cc.bin.out.expected
deleted file mode 100644
index e69de29..0000000
diff --git a/samples/theories.c b/samples/theories.c
index b4ca6d2..0bbe7cc 100644
--- a/samples/theories.c
+++ b/samples/theories.c
@@ -98,6 +98,9 @@ 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 23c0ebc..5602754 100644
--- a/samples/theories.cc
+++ b/samples/theories.cc
@@ -106,6 +106,9 @@ 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