From df7d47f184cb2ef822597b68d949b0d93440e8fe Mon Sep 17 00:00:00 2001
From: Snaipe <franklinmathieu@gmail.com>
Date: Tue, 8 Dec 2015 01:56:01 +0100
Subject: [PATCH] Fixed theories regression tests

---
 .../outputs/theories_regression.c.bin.err.expected  | 13 +------------
 .../outputs/theories_regression.cc.bin.err.expected | 13 +------------
 2 files changed, 2 insertions(+), 24 deletions(-)

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 @@
-[----] 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:51: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (2)
-[----] 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:51: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (4)
-[----] 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
 [----] 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
-[====] Synthesis: Tested: 2 | Passing: 0 | Failing: 2 | Crashing: 0 
+[====] Synthesis: Tested: 1 | Passing: 0 | Failing: 1 | Crashing: 0 
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 @@
-[----] 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:53: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (2)
-[----] 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:53: Assertion failed: The conditions for this assertion were not met.
-[----]   Theory theory::gen failed with the following parameters: (4)
-[----] 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
 [----] 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
-[====] Synthesis: Tested: 2 | Passing: 0 | Failing: 2 | Crashing: 0 
+[====] Synthesis: Tested: 1 | Passing: 0 | Failing: 1 | Crashing: 0