Fix missing EXIT test

Author: Remi Delmas

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$
 --