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
index 2593dc00853..97ba8f9024d 100644
--- 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$
 --