diff --git a/samples/tests/outputs/theories_regression.c.bin.err.expected b/samples/tests/outputs/theories_regression.c.bin.err.expected
index c09ce14..0db8e12 100644
--- a/samples/tests/outputs/theories_regression.c.bin.err.expected
+++ b/samples/tests/outputs/theories_regression.c.bin.err.expected
@@ -1,15 +1,15 @@
-[----] theories_regression.c:52: Assertion failed: The conditions for this assertion were not met.
+[----] 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:52: Assertion failed: The conditions for this assertion were not met.
+[----] 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:52: Assertion failed: The conditions for this assertion were not met.
+[----] 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:52: Assertion failed: The conditions for this assertion were not met.
+[----] 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:52: Assertion failed: The conditions for this assertion were not met.
+[----] 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: (0.00s)
-[----] theories_regression.c:35: 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")
+[----] 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: (0.00s)
 [====] Synthesis: Tested: 2 | Passing: 0 | Failing: 2 | 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 4c10ddd..a4e378e 100644
--- a/samples/tests/outputs/theories_regression.cc.bin.err.expected
+++ b/samples/tests/outputs/theories_regression.cc.bin.err.expected
@@ -1,15 +1,15 @@
-[----] theories_regression.cc:54: Assertion failed: The conditions for this assertion were not met.
+[----] 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:54: Assertion failed: The conditions for this assertion were not met.
+[----] 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:54: Assertion failed: The conditions for this assertion were not met.
+[----] 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:54: Assertion failed: The conditions for this assertion were not met.
+[----] 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:54: Assertion failed: The conditions for this assertion were not met.
+[----] 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: (0.00s)
-[----] theories_regression.cc:37: 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")
+[----] 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: (0.00s)
 [====] Synthesis: Tested: 2 | Passing: 0 | Failing: 2 | Crashing: 0 
diff --git a/samples/tests/theories_regression.c b/samples/tests/theories_regression.c
index 061c6de..6661f9f 100644
--- a/samples/tests/theories_regression.c
+++ b/samples/tests/theories_regression.c
@@ -11,15 +11,13 @@ TheoryDataPoints(theory, misc) = {
     DataPoints(bool, true),
     DataPoints(short, 1),
     DataPoints(int, 1),
-    DataPoints(long, 1),
-    DataPoints(long long, 1),
     DataPoints(float, 3.14f),
     DataPoints(double, 3.14),
     DataPoints(char *, "test"),
     DataPoints(const char *, "other test"),
 };
 
-Theory((char c, bool b, short s, int i, long l, long long ll, float f, double d, char *str, const char *cstr), theory, misc) {
+Theory((char c, bool b, short s, int i, float f, double d, char *str, const char *cstr), theory, misc) {
     float reff = 3.14f;
     double refd = 3.14;
 
@@ -27,8 +25,6 @@ Theory((char c, bool b, short s, int i, long l, long long ll, float f, double d,
     cr_assert_eq(c, 'a');
     cr_assert_eq(s, 1);
     cr_assert_eq(i, 1);
-    cr_assert_eq(l, 1);
-    cr_assert_eq(ll, 1);
     cr_assert_eq(f, reff);
     cr_assert_eq(d, refd);
     cr_assert_str_eq(str, "test");
diff --git a/samples/tests/theories_regression.cc b/samples/tests/theories_regression.cc
index 5bb020d..608954f 100644
--- a/samples/tests/theories_regression.cc
+++ b/samples/tests/theories_regression.cc
@@ -13,15 +13,13 @@ TheoryDataPoints(theory, misc) = {
     DataPoints(bool, true),
     DataPoints(short, 1),
     DataPoints(int, 1),
-    DataPoints(long, 1),
-    DataPoints(long long, 1),
     DataPoints(float, 3.14f),
     DataPoints(double, 3.14),
     DataPoints(char *, test_str),
     DataPoints(const char *, "other test"),
 };
 
-Theory((char c, bool b, short s, int i, long l, long long ll, float f, double d, char *str, const char *cstr), theory, misc) {
+Theory((char c, bool b, short s, int i, float f, double d, char *str, const char *cstr), theory, misc) {
     float reff = 3.14f;
     double refd = 3.14;
 
@@ -29,8 +27,6 @@ Theory((char c, bool b, short s, int i, long l, long long ll, float f, double d,
     cr_assert_eq(c, 'a');
     cr_assert_eq(s, 1);
     cr_assert_eq(i, 1);
-    cr_assert_eq(l, 1);
-    cr_assert_eq(ll, 1);
     cr_assert_eq(f, reff);
     cr_assert_eq(d, refd);
     cr_assert_str_eq(str, "test");