1
65%
master: 65%

Ran 23 Apr 2024 04:17PM UTC

Files 1625

Run time 55s

Badge

Committed 23 Apr 2024 04:09PM UTC coverage: 66.468% (+0.001%) from 66.467%

Build Type

push

github

Committed by

Commit Message

Merge pull request #511 from SRI-CSL/mcsat-int-hint-2

MCSAT: more decision hints for integer variables

Run Details

88118 of 132573 relevant lines covered (66.47%)

1393960.27 hits per line