diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-10-13 13:23:04 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-10-13 16:39:54 +0100 |
| commit | 6e6ca4598bf28944b4c731e131bd223ca0c44cd6 (patch) | |
| tree | 2b308d46612e3b6114506a6e9ae67ee41b12c117 /test/Feature/const_array_opt1.c | |
| parent | 57d81af893ed60abb6b1772532ce73ac5e489d4b (diff) | |
| download | klee-6e6ca4598bf28944b4c731e131bd223ca0c44cd6.tar.gz | |
test/Feature/FunctionAlias.c: Add missing CHECK-UNKNOWN prefix
This test started to fail on LLVM 13 because FileCheck switched the default setting regarding the allowance of unused prefixes. This is now considered to be a fatal error.
Diffstat (limited to 'test/Feature/const_array_opt1.c')
0 files changed, 0 insertions, 0 deletions