From 45a958f9ee3200dbfc2a2fb07f4f82968bf83b02 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 23 Feb 2023 22:11:20 +0000 Subject: Don't fail `KleeStats.c` test if it takes 1s or longer --- test/Feature/KleeStats.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- cgit 1.4.1