push
github
10696 of 18582 branches covered (57.56%)
28863 of 41540 relevant lines covered (69.48%)
2.98 hits per line
The file "org/workcraft/plugins/mpsat_verification/MpsatVerificationSettings.java" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.