diff --git a/samples/tests/outputs/theories_regression.c.bin.err.expected b/samples/tests/outputs/theories_regression.c.bin.err.expected
index fa88f2b..1262f80 100644
--- a/samples/tests/outputs/theories_regression.c.bin.err.expected
+++ b/samples/tests/outputs/theories_regression.c.bin.err.expected
@@ -1,15 +1,4 @@
-[[0;34m----[0m] [0;1mtheories_regression.c[0m:[0;31m51[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_regression.c[0m:[0;31m51[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_regression.c[0m:[0;31m51[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_regression.c[0m:[0;31m51[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_regression.c[0m:[0;31m51[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;34m----[0m] [0;1mtheories_regression.c[0m:[0;31m34[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, 3.14f, 3.14, "test", "other test")
 [[0;31mFAIL[0m] theory::misc
-[[0;34m====[0m] [0;1mSynthesis: Tested: [0;34m2[0;1m | Passing: [0;32m0[0;1m | Failing: [0;31m2[0;1m | Crashing: [0;31m0[0;1m [0m
+[[0;34m====[0m] [0;1mSynthesis: Tested: [0;34m1[0;1m | Passing: [0;32m0[0;1m | Failing: [0;31m1[0;1m | Crashing: [0;31m0[0;1m [0m
diff --git a/samples/tests/outputs/theories_regression.cc.bin.err.expected b/samples/tests/outputs/theories_regression.cc.bin.err.expected
index 0303937..e149d58 100644
--- a/samples/tests/outputs/theories_regression.cc.bin.err.expected
+++ b/samples/tests/outputs/theories_regression.cc.bin.err.expected
@@ -1,15 +1,4 @@
-[[0;34m----[0m] [0;1mtheories_regression.cc[0m:[0;31m53[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_regression.cc[0m:[0;31m53[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_regression.cc[0m:[0;31m53[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_regression.cc[0m:[0;31m53[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_regression.cc[0m:[0;31m53[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;34m----[0m] [0;1mtheories_regression.cc[0m:[0;31m36[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, 3.14f, 3.14, "test", "other test")
 [[0;31mFAIL[0m] theory::misc
-[[0;34m====[0m] [0;1mSynthesis: Tested: [0;34m2[0;1m | Passing: [0;32m0[0;1m | Failing: [0;31m2[0;1m | Crashing: [0;31m0[0;1m [0m
+[[0;34m====[0m] [0;1mSynthesis: Tested: [0;34m1[0;1m | Passing: [0;32m0[0;1m | Failing: [0;31m1[0;1m | Crashing: [0;31m0[0;1m [0m