diff --git a/test/Industry/CoverageErrorCall/if_etherip-unreach-call.c b/test/Industry/CoverageErrorCall/if_etherip-unreach-call.c
index 3d132a7f55..38158e2baa 100644
--- a/test/Industry/CoverageErrorCall/if_etherip-unreach-call.c
+++ b/test/Industry/CoverageErrorCall/if_etherip-unreach-call.c
@@ -1,5 +1,7 @@
 // It requires bitwuzla because the script currently runs with bitwuzla solver backend
-// RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=30 --64 --write-ktests %s 2>&1 | FileCheck %s
+// REQUIRES: bitwuzla
+// REQUIRES: target-x86_64
+// 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
 
 typedef struct label_t {
diff --git a/test/Industry/CoverageErrorCall/od-4.c b/test/Industry/CoverageErrorCall/od-4.c
index 34ebe128b9..dead8439bf 100644
--- a/test/Industry/CoverageErrorCall/od-4.c
+++ b/test/Industry/CoverageErrorCall/od-4.c
@@ -1,5 +1,7 @@
 // It requires bitwuzla because the script currently runs with bitwuzla solver backend
-// RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=180 --64 --write-ktests %s 2>&1 | FileCheck %s
+// REQUIRES: bitwuzla
+// REQUIRES: target-x86_64
+// 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
 
 extern long __VERIFIER_nondet_long(void);