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 | |
| parent | d811fad5cfec036fc413d47db3bcc3eab0b1457e (diff) | |
| download | klee-45a958f9ee3200dbfc2a2fb07f4f82968bf83b02.tar.gz | |
Don't fail `KleeStats.c` test if it takes 1s or longer
Diffstat (limited to 'test')
| -rw-r--r-- | test/Feature/KleeStats.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Feature/KleeStats.c b/test/Feature/KleeStats.c index e54542e3..2a498beb 100644 --- a/test/Feature/KleeStats.c +++ b/test/Feature/KleeStats.c @@ -29,7 +29,7 @@ int main(){ // First check we find a line with the expected format // CHECK-STATS: Path,Instrs,Time(s),ICov(%),BCov(%),ICount,TSolver(%),ActiveStates,MaxActiveStates,Mem(MiB),MaxMem(MiB) // Check there is a line with .klee-out dir, non zero instruction, less than 1 second execution time and 100 ICov. -// CHECK-STATS: {{.*\.klee-out,[1-9]+,0\.([0-9]+),100\.00}} +// CHECK-STATS: {{.*\.klee-out,[1-9]+,[0-9]+\.([0-9]+),100\.00}} // Check other formats // CHECK-STATS-ABS-TIMES: Path,Time(s),TUser(s),TResolve(s),TCex(s),TSolver(s),TFork(s) |