diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-02-23 22:11:20 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-17 22:38:16 +0000 |
| commit | 45a958f9ee3200dbfc2a2fb07f4f82968bf83b02 (patch) | |
| tree | c7417c75251f50a8f0b5554e616022d3ff73b0ad /test/CXX | |
| parent | d811fad5cfec036fc413d47db3bcc3eab0b1457e (diff) | |
| download | klee-45a958f9ee3200dbfc2a2fb07f4f82968bf83b02.tar.gz | |
Don't fail `KleeStats.c` test if it takes 1s or longer
Diffstat (limited to 'test/CXX')
0 files changed, 0 insertions, 0 deletions