|
Ran
|
Files
140
|
Run time
4s
|
Badge
README BADGES
|
push
github
Stepper: Catch and show "name not declared" error (#1608) * add: catch and show SourceRuntimeError * refactor * add: tests * linting * removed unused imports * linting * Revert "linting" This reverts commit ff1c01169. * add comment for getExplanation --------- Co-authored-by: Martin Henz <henz@comp.nus.edu.sg>
3219 of 4360 branches covered (73.83%)
Branch coverage included in aggregate %.
10597 of 12644 relevant lines covered (83.81%)
133128.95 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|