Ran
|
Jobs
1
|
Files
1000
|
Run time
23s
|
Badge
Embed ▾
README BADGES
|
push
github
10586 of 18218 branches covered (58.11%)
28523 of 40754 relevant lines covered (69.99%)
3.02 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
94.34 |
-0.58% | org/workcraft/plugins/mpsat_verification/utils/ReachUtils.java |
1 |
80.0 |
-2.22% | org/workcraft/Version.java |
2 |
91.67 |
1.04% | org/workcraft/plugins/mpsat_verification/tasks/VerificationOutputInterpreter.java |
3 |
40.0 |
-10.0% | org/workcraft/plugins/mpsat_verification/commands/DeadlockFreenessVerificationCommand.java |
4 |
93.94 |
2.39% | org/workcraft/plugins/mpsat_verification/tasks/OutputPersistencyOutputInterpreter.java |
9 |
81.48 |
2.31% | org/workcraft/plugins/mpsat_verification/commands/CombinedVerificationCommand.java |
13 |
40.91 |
-19.09% | org/workcraft/plugins/mpsat_verification/commands/DiInterfaceVerificationCommand.java |
13 |
40.91 |
-19.09% | org/workcraft/plugins/mpsat_verification/commands/LocalSelfTriggeringVerificationCommand.java |
13 |
76.56 |
-2.28% | org/workcraft/utils/XmlUtils.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 5941207384.1 | 1000 |
69.99 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|