1
65%
master: 65%

Ran 18 Apr 2024 05:30PM UTC

Files 1625

Run time 46s

Badge

Committed 18 Apr 2024 05:21PM UTC coverage: 66.464% (+0.04%) from 66.421%

Build Type

push

github

Committed by

Commit Message

Merge pull request #510 from SRI-CSL/fix-interpolant-with-empty-model

Fix interpolant with empty model

Run Details

88102 of 132555 relevant lines covered (66.46%)

1393300.85 hits per line