about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorJulian Büning <julian.buening@rwth-aachen.de>2017-10-30 18:53:40 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2018-03-23 14:57:54 +0000
commit4010156bf946341f42aa82fc0a2669c936d5e106 (patch)
tree436bdb10b1da8ba06810fa2cb8224673b75359b5
parent4ec9b9ada1aeebf55286eafa6bb39d9ecc499c2f (diff)
downloadklee-4010156bf946341f42aa82fc0a2669c936d5e106.tar.gz
fix test/Feature/BFSSearcherAndDFSSearcherInterleaved.c to use explicit enumeration of possible strings instead of CHECK-SAME (does not work as intended with LLVM >= 3.7)
-rw-r--r--test/Feature/BFSSearcherAndDFSSearcherInterleaved.c10
1 files changed, 2 insertions, 8 deletions
diff --git a/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c b/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c
index 9cc11b70..3dd5b4d5 100644
--- a/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c
+++ b/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c
@@ -38,12 +38,6 @@ int main() {
     }
   }
 
-  // exactly 4 characters
-  // CHECK: {{^[A-D]{4}$}}
-
-  // for each of A, B, C and D: occurs exactly once
-  // CHECK-SAME: {{^[B-D]*A[B-D]*$}}
-  // CHECK-SAME: {{^[A,C-D]*B[A,C-D]*$}}
-  // CHECK-SAME: {{^[A-B,D]*C[A-B,D]*$}}
-  // CHECK-SAME: {{^[A-C]*D[A-C]*$}}
+  // exactly 4 characters, each of A, B, C and D occur exactly once
+  // CHECK: {{^(ABCD|ABDC|ACBD|ACDB|ADBC|ADCB|BACD|BADC|BCAD|BCDA|BDAC|BDCA|CABD|CADB|CBAD|CBDA|CDAB|CDBA|DABC|DACB|DBAC|DBCA|DCAB|DCBA)$}}
 }