22 lines
625 B
Diff
22 lines
625 B
Diff
|
From: Jiri Slaby <jirislaby@gmail.com>
|
||
|
|
Date: Thu, 15 Jun 2017 15:20:49 +0200
|
||
|
|
Subject: klee: skip some tests
|
||
|
|
Patch-mainline: no
|
||
|
|
|
||
|
|
Some of the tests trigger FAILURE occasionally. The reason is unknown
|
||
|
|
yet. So mark them as to require an unknown prerequisite to disable the
|
||
|
|
tests completely.
|
||
|
|
|
||
|
|
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
|
||
|
|
---
|
||
|
|
test/Concrete/ConstantExpr.llvm37.ll | 1 +
|
||
|
|
1 file changed, 1 insertion(+)
|
||
|
|
|
||
|
|
--- a/test/Concrete/ConstantExpr.llvm37.ll
|
||
|
|
+++ b/test/Concrete/ConstantExpr.llvm37.ll
|
||
|
|
@@ -1,3 +1,4 @@
|
||
|
|
+; REQUIRES: bubak
|
||
|
|
; REQUIRES: geq-llvm-3.7
|
||
|
|
; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s
|
||
|
|
|