push
github
10586 of 18218 branches covered (58.11%)
28523 of 40754 relevant lines covered (69.99%)
3.02 hits per line
The file "org/workcraft/plugins/mpsat_verification/tasks/OutputPersistencyOutputInterpreter.java" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.