From 6b21755f0744cdf7b71bf14432324e1a15c119ea Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Tue, 21 Mar 2023 11:13:22 +0000
Subject: Handle fail of KLEE gracefully

Under 64bit architecture, a ptr-error might be found.
Ignore this for now.
---
 test/Programs/pcregrep.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/Programs/pcregrep.c')

diff --git a/test/Programs/pcregrep.c b/test/Programs/pcregrep.c
index 7bcef671..8bd7a00f 100644
--- a/test/Programs/pcregrep.c
+++ b/test/Programs/pcregrep.c
@@ -2,7 +2,7 @@
 // RUN: %clang -m32 %s -emit-llvm %O0opt -c -o %t1.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out --libc=klee --exit-on-error %t1.bc 2 2
-// XFAIL: x86_64
+// XFAIL: not-target-x86
 
 /* Provide Declarations */
 #include <stdarg.h>
-- 
cgit 1.4.1