Fix wrong filenames in __assert call

MartinSpiessl · MartinSpiessl · commit 99fe631f60b2 · 2020-10-05T15:53:23.000+02:00
There was a small bug in my conversion script,
should be fixed now.
diff --git a/c/loop-zilu/benchmark01_conjunctive.c b/c/loop-zilu/benchmark01_conjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark01_polynomial.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark01_conjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark02_linear.c b/c/loop-zilu/benchmark02_linear.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark02_conjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark02_linear.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark04_conjunctive.c b/c/loop-zilu/benchmark04_conjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark04_linear.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark04_conjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark07_linear.c b/c/loop-zilu/benchmark07_linear.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark07_conjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark07_linear.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark08_conjunctive.c b/c/loop-zilu/benchmark08_conjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark08_linear.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark08_conjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark11_linear.c b/c/loop-zilu/benchmark11_linear.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark11_conjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark11_linear.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark13_conjunctive.c b/c/loop-zilu/benchmark13_conjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark13_linear.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark13_conjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark14_linear.c b/c/loop-zilu/benchmark14_linear.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark14_conjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark14_linear.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark15_conjunctive.c b/c/loop-zilu/benchmark15_conjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark15_linear.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark15_conjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark21_disjunctive.c b/c/loop-zilu/benchmark21_disjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark21_conjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark21_disjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark22_conjunctive.c b/c/loop-zilu/benchmark22_conjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark22_disjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark22_conjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark25_linear.c b/c/loop-zilu/benchmark25_linear.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark25_conjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark25_linear.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark30_conjunctive.c b/c/loop-zilu/benchmark30_conjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark30_linear.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark30_conjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark31_disjunctive.c b/c/loop-zilu/benchmark31_disjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark31_conjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark31_disjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark32_linear.c b/c/loop-zilu/benchmark32_linear.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark32_disjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark32_linear.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark34_conjunctive.c b/c/loop-zilu/benchmark34_conjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark34_linear.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark34_conjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark35_linear.c b/c/loop-zilu/benchmark35_linear.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark35_conjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark35_linear.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark36_conjunctive.c b/c/loop-zilu/benchmark36_conjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark36_linear.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark36_conjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark40_polynomial.c b/c/loop-zilu/benchmark40_polynomial.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark40_conjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark40_polynomial.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark41_conjunctive.c b/c/loop-zilu/benchmark41_conjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark41_polynomial.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark41_conjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark44_disjunctive.c b/c/loop-zilu/benchmark44_disjunctive.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark44_conjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark44_disjunctive.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark47_linear.c b/c/loop-zilu/benchmark47_linear.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark47_disjunctive.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark47_linear.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
diff --git a/c/loop-zilu/benchmark51_polynomial.c b/c/loop-zilu/benchmark51_polynomial.c
@@ -4,7 +4,7 @@ extern void __assert_fail (__const char *__assertion, __const char *__file,
 extern int __VERIFIER_nondet_int(void);
 extern _Bool __VERIFIER_nondet_bool(void);
 
-void reach_error(void) {__assert_fail ("0", "benchmark51_linear.c", 11, __PRETTY_FUNCTION__);}
+void reach_error(void) {__assert_fail ("0", "benchmark51_polynomial.c", 11, __PRETTY_FUNCTION__);}
 
 void __VERIFIER_assert(int cond) {
   if (!cond) {
