2
87%
main: 87%

Ran 12 Nov 2024 10:59PM UTC

Files 265

Run time 9s

Badge

Committed 12 Nov 2024 10:28PM UTC coverage: 78.987% (+0.2%) from 78.815%

Build Type

push

github

Committed by

Commit Message

fail hard when a non-Assume instruction turns an invariant into bottom

makes #679 visible.

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Run Details

8796 of 11136 relevant lines covered (78.99%)

4241708.04 hits per line