workcraft / workcraft / 8836218367 / 1

70%

master: 70%

push

github

Merge pull request #1596 from danilovesky/mpsat-verification-cleanup

Clean up getting MPSat command for verification

10696 of 18582 branches covered (57.56%)

28863 of 41540 relevant lines covered (69.48%)

2.98 hits per line