diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-10-30 14:50:51 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-08 13:17:19 +0000 |
| commit | 5409532fa8e41143cc511068b2061c49aa2bde69 (patch) | |
| tree | 98f6f5ca4f307d671004e47f5115fbc5f4035b3c /lib | |
| parent | 670ea6b70d2ee0a998f05624cbef041a489450b3 (diff) | |
| download | klee-5409532fa8e41143cc511068b2061c49aa2bde69.tar.gz | |
Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT`
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions