1
65%
master: 65%

Ran 22 Sep 2023 05:50PM UTC

Files 1615

Run time 40s

Badge

Committed 22 Sep 2023 05:41PM UTC coverage: 65.579% (-0.008%) from 65.587%

Build Type

push

github

Committed by

Commit Message

MC-SAT Thread Safety (#456)

* Correct debug code.

* Avoid deadlocks in MC-SAT.

---------

Co-authored-by: Mark Mitchell <mark.mitchell@sri.com>

Run Details

86444 of 131817 relevant lines covered (65.58%)

1222138.46 hits per line