1
65%
master: 65%

Ran 18 Nov 2023 10:26PM UTC

Files 1615

Run time 34s

Badge

Committed 18 Nov 2023 10:19PM UTC coverage: 65.752% (-0.002%) from 65.754%

Build Type

push

github

Committed by

Commit Message

Merge pull request #477 from SRI-CSL/mcsat-model-hint-registration-queue-fix

fix registration-queue error in mcsat-model-hint

Run Details

86764 of 131956 relevant lines covered (65.75%)

1390381.21 hits per line