From d84f25420eeea54c884284d3879e407f197a4539 Mon Sep 17 00:00:00 2001
From: Remi Delmas <delmasrd@amazon.com>
Date: Sun, 12 Jan 2025 14:08:03 -0500
Subject: [PATCH] Fix missing EXIT test

---
 .../test.desc                                                    | 1 +
 1 file changed, 1 insertion(+)

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