Artiweb > Pull Request #3022 > Artifact 543711894

Exploiting JML Names in the Proof Tree #3022

Build time: 06. Feb 2023 16:39
Github Action

Tests

❌ key.core.testgen:test [no report files] (11 succeeded, 2 failed)
❌ key.core:test [no report files] (801 succeeded, 84 failed, 80 skipped)
❌ key.core:testProveRules [no report files] (0 succeeded, 1 failed)
❌ key.core:testRunAllFunProofs [no report files] (0 succeeded, 47 failed)
❌ key.core:testRunAllInfProofs [no report files] (1 succeeded, 29 failed)
✅ key.removegenerics:test [no report files] (45 succeeded)
✅ key.ui:test [no report files] (5 succeeded)
✅ key.util:test [no report files] (153 succeeded)
❌ keyext.exploration:test [no report files] (0 succeeded, 3 failed)
✅ recoder:test [no report files] (14 succeeded, 15 skipped)