Mark pointer-in-range-requires test as expensive

This test appears to take several hours when running on Windows in GitHub's CI.
diffblue · Feb 14, 2024 · 8b953f4 · 8b953f4
1 parent b7deb92
commit 8b953f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/regression/contracts-dfcc/memory-predicates-pointer-in-range-requires/test.desc b/regression/contracts-dfcc/memory-predicates-pointer-in-range-requires/test.desc
@@ -1,4 +1,4 @@
-CORE dfcc-only
+THOROUGH dfcc-only
 main.c
 --malloc-may-fail --malloc-fail-null --dfcc main --enforce-contract foo _ --pointer-check --pointer-primitive-check
 ^EXIT=0$