SRI-CSL
/
yices2
/
7983827186
65%
|
Ran
|
Jobs
1
|
Files
473
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 65.531%. 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>
79704 of 121628 relevant lines covered (65.53%)
1511416.04 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 7983827186.1 | 1624 |
66.28 |
GitHub Action Run |
