CN: Fix CI

The return code was not being propagated out of the main function correctly. This should signal error correctly now.
rems-project · Dec 11, 2024 · 98e88ac · 98e88ac
1 parent 3d43d4f
commit 98e88ac
Show file tree

Hide file tree

Showing 6 changed files with 14 additions and 3 deletions.
diff --git a/tests/cn/duplicate_datatype_var.error.c.verify b/tests/cn/duplicate_datatype_var.error.c.verify
@@ -1,4 +1,4 @@
 return code: 1
-tests/cn/duplicate_datatype_var.error.c:5:22: error: Re-using member name x within datatype definition.
+tests/cn/duplicate_datatype_var.error.c:5:22: error: Re-using member name x within datatype definition (SMT limitation).
     Single { integer x }
                      ^
diff --git a/tests/cn/has_alloc_id_ptr_eq.error.c.verify b/tests/cn/has_alloc_id_ptr_eq.error.c.verify
@@ -1,4 +1,7 @@
 return code: 1
+tests/cn/has_alloc_id_ptr_eq.error.c:10:12: warning: Cannot rule out ambiguous pointer equality case (addresses equal, but provenances differ)
+    return p == q;
+           ~~^~~~ 
 [1/1]: f -- fail
 tests/cn/has_alloc_id_ptr_eq.error.c:10:5: error: Unprovable constraint
     return p == q;

diff --git a/tests/cn/has_alloc_id_ptr_eq2.error.c.verify b/tests/cn/has_alloc_id_ptr_eq2.error.c.verify
@@ -1,4 +1,7 @@
 return code: 1
+tests/cn/has_alloc_id_ptr_eq2.error.c:10:12: warning: Cannot rule out ambiguous pointer equality case (addresses equal, but provenances differ)
+    return p == q;
+           ~~^~~~ 
 [1/1]: f -- fail
 tests/cn/has_alloc_id_ptr_eq2.error.c:10:5: error: Unprovable constraint
     return p == q;

diff --git a/tests/cn/unconstrained_ptr_eq.error.c.verify b/tests/cn/unconstrained_ptr_eq.error.c.verify
@@ -1,4 +1,7 @@
 return code: 1
+tests/cn/unconstrained_ptr_eq.error.c:7:12: warning: Cannot rule out ambiguous pointer equality case (addresses equal, but provenances differ)
+    return p == q;
+           ~~^~~~ 
 [1/1]: f -- fail
 tests/cn/unconstrained_ptr_eq.error.c:7:5: error: Unprovable constraint
     return p == q;

diff --git a/tests/cn/unconstrained_ptr_eq2.error.c.verify b/tests/cn/unconstrained_ptr_eq2.error.c.verify
@@ -1,4 +1,7 @@
 return code: 1
+tests/cn/unconstrained_ptr_eq2.error.c:7:12: warning: Cannot rule out ambiguous pointer equality case (addresses equal, but provenances differ)
+    return p == q;
+           ~~^~~~ 
 [1/1]: f -- fail
 tests/cn/unconstrained_ptr_eq2.error.c:7:5: error: Unprovable constraint
     return p == q;

diff --git a/tests/diff-prog.py b/tests/diff-prog.py
@@ -106,5 +106,4 @@ def main(args):
 
 # parse args and call func (as set using set_defaults)
 args = parser.parse_args()
-args.func(args)
-
+exit(args.func(args))