Fix missing EXIT test

diffblue · Jan 12, 2025 · d84f254 · d84f254
1 parent 16efff7
commit d84f254
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/regression/contracts-dfcc/test_pointer_in_range_enforce_requires_disjunction_pass/test.desc b/regression/contracts-dfcc/test_pointer_in_range_enforce_requires_disjunction_pass/test.desc
@@ -20,6 +20,7 @@ main.c
 ^\[foo.pointer_dereference.\d+\] line 24 dereference failure: dead object in \*y: SUCCESS$
 ^\[foo.pointer_dereference.\d+\] line 24 dereference failure: pointer outside object bounds in \*y: SUCCESS$
 ^\[foo.pointer_dereference.\d+\] line 24 dereference failure: invalid integer address in \*y: SUCCESS$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --