SRI-CSL
/
yices2
/
7983827186
/
1
66%
master: 66%
master: 66%
|
Ran
|
Files
1624
|
Run time
34s
|
Badge
Embed ▾
README BADGES
|
coverage: 66.275%. Remained the same
push
github
web-flowCheck parallel (#488) * Split test in two scripts * Parallel regression done * Code formatting * Build system update to use static libpoly for all builds when configured * Added GNU parallel support * Fixed GNU parallel escaping * Fixed some missing quotes in bash scripts * use full path in output log instead of PID * fixed whitespace * Fixed result printing with hidden error files * Fix path escape * Revert "Build system update to use static libpoly for all builds when configured" This reverts commit 337025abf. * Include support for GNU make jobserver * Fixed for newer make versions * Added cleanupto check.sh --------- Co-authored-by: Thomas Hader <thomas.hader@sri.com> Co-authored-by: Thomas Hader <thader@drei.at> Co-authored-by: Thomas Hader <tom@hader.email>
87814 of 132499 relevant lines covered (66.28%)
1387410.55 hits per line
