diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2017-10-30 18:53:40 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-03-23 14:57:54 +0000 |
| commit | 4010156bf946341f42aa82fc0a2669c936d5e106 (patch) | |
| tree | 436bdb10b1da8ba06810fa2cb8224673b75359b5 /test/Feature | |
| parent | 4ec9b9ada1aeebf55286eafa6bb39d9ecc499c2f (diff) | |
| download | klee-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)
Diffstat (limited to 'test/Feature')
| -rw-r--r-- | test/Feature/BFSSearcherAndDFSSearcherInterleaved.c | 10 |
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)$}} } |