test: Update

UnitTestBot · Nov 19, 2024 · 74207d2 · 74207d2
1 parent b5d2b72
commit 74207d2
Show file tree

Hide file tree

Showing 7 changed files with 15 additions and 139 deletions.
diff --git a/test/Industry/CoverageBranches/btor2c-lazyMod.h_b04.c b/test/Industry/CoverageBranches/btor2c-lazyMod.h_b04.c
diff --git a/test/Industry/CoverageErrorCall/01_fuzzle_30x30.c b/test/Industry/CoverageErrorCall/01_fuzzle_30x30.c
@@ -1,6 +1,5 @@
 // It requires bitwuzla because the script currently runs with bitwuzla solver backend
 // REQUIRES: bitwuzla
-// REQUIRES: target-x86_64
 // RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=900 --64 --debug %s 2>&1 | FileCheck %s
 // CHECK: KLEE: WARNING: 100.00% Reachable Reachable
 

diff --git a/test/Industry/CoverageErrorCall/12_fuzzle_50x50_CVE-2016-4492.c b/test/Industry/CoverageErrorCall/12_fuzzle_50x50_CVE-2016-4492.c
@@ -1,6 +1,8 @@
 // It requires bitwuzla because the script currently runs with bitwuzla solver backend
 // REQUIRES: bitwuzla
-// REQUIRES: target-x86_64
+// REQUIRES: not-asan
+// REQUIRES: not-msan
+// REQUIRES: not-darwin
 // RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=900 --64 --debug %s 2>&1 | FileCheck %s
 // CHECK: KLEE: WARNING: 100.00% Reachable Reachable
 

diff --git a/test/Industry/CoverageErrorCall/btor2c-lazyMod.mul6.c b/test/Industry/CoverageErrorCall/btor2c-lazyMod.mul6.c
@@ -1,6 +1,8 @@
 // It requires bitwuzla because the script currently runs with bitwuzla solver backend
 // REQUIRES: bitwuzla
-// REQUIRES: target-x86_64
+// REQUIRES: not-asan
+// REQUIRES: not-msan
+// REQUIRES: not-darwin
 // RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=30 --64 --debug %s 2>&1 | FileCheck %s
 // CHECK: KLEE: WARNING: 100.00% Reachable Reachable
 

diff --git a/test/Industry/CoverageErrorCall/egcd3-ll_unwindbound10.c b/test/Industry/CoverageErrorCall/egcd3-ll_unwindbound10.c
@@ -76,6 +76,8 @@ int main() {
 
 // It requires bitwuzla because the script currently runs with bitwuzla solver backend
 // REQUIRES: bitwuzla
-// REQUIRES: target-x86_64
+// REQUIRES: not-asan
+// REQUIRES: not-msan
+// REQUIRES: not-darwin
 // RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=60 --32 --debug --write-ktests %s 2>&1 | FileCheck %s
 // CHECK: KLEE: WARNING: 100.00% Reachable Reachable
diff --git a/test/Industry/CoverageErrorCall/if_etherip-unreach-call.c b/test/Industry/CoverageErrorCall/if_etherip-unreach-call.c
@@ -1,6 +1,8 @@
 // It requires bitwuzla because the script currently runs with bitwuzla solver backend
 // REQUIRES: bitwuzla
-// REQUIRES: target-x86_64
+// REQUIRES: not-asan
+// REQUIRES: not-msan
+// REQUIRES: not-darwin
 // RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=30 --64 --debug %s 2>&1 | FileCheck %s
 // CHECK: KLEE: WARNING: 100.00% Reachable Reachable
 

diff --git a/test/Industry/CoverageErrorCall/od-4.c b/test/Industry/CoverageErrorCall/od-4.c
@@ -1,6 +1,8 @@
 // It requires bitwuzla because the script currently runs with bitwuzla solver backend
 // REQUIRES: bitwuzla
-// REQUIRES: target-x86_64
+// REQUIRES: not-asan
+// REQUIRES: not-msan
+// REQUIRES: not-darwin
 // RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=180 --64 --debug %s 2>&1 | FileCheck %s
 // CHECK: KLEE: WARNING: 100.00% Reachable Reachable