Fix test negated_exists.desc to use the correct test file.

NlightNFotis · NlightNFotis · commit 38c80f20c463 · 2021-12-09T18:01:55.000Z
diff --git a/regression/cbmc-primitives/exists_memory_checks/negated_exists.desc b/regression/cbmc-primitives/exists_memory_checks/negated_exists.desc
@@ -1,5 +1,5 @@
 CORE
-valid_index_range.c
+negated_exists.c
 --pointer-check
 ^EXIT=0$
 ^SIGNAL=0$
