5
65%
master: 65%

Ran 02 Jun 2020 08:18PM UTC

Files 444

Run time 1min

Badge

Committed 02 Jun 2020 08:10PM UTC coverage: 62.756% (+0.008%) from 62.748%

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] reassert lemmas defining a variable if the variable is still around after the pop

fixes #225

Run Details

69253 of 110353 relevant lines covered (62.76%)

1388242.69 hits per line