From 8b953f4b83d063667bc3ff8674cb137c2642afec Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 14 Feb 2024 11:41:02 +0000 Subject: [PATCH] Mark pointer-in-range-requires test as expensive This test appears to take several hours when running on Windows in GitHub's CI. --- .../memory-predicates-pointer-in-range-requires/test.desc | 2 +- 1 file changed, 1 insertion(+), 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 index 52123718dcc9..93a74386fc23 100644 --- 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$