Mark pointer-in-range-requires test as expensive

tautschnig · tautschnig · commit 97e2439a945f · 2024-04-23T09:03:00.000Z
This test appears to take several hours when running on Windows in
GitHub's CI.
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$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE dfcc-only`
	`1`	`+THOROUGH dfcc-only`
`2`	`2`	`main.c`
`3`	`3`	`--malloc-may-fail --malloc-fail-null --dfcc main --enforce-contract foo _ --pointer-check --pointer-primitive-check`
`4`	`4`	`^EXIT=0$`