Artiweb > Pull Request #3026 > Artifact 559777334

Proof slicing extension #3026

Build time: 16. Feb 2023 16:36
Github Action

Tests

✅ key.core.testgen:test [no report files] (13 succeeded)
✅ key.core:test [no report files] (2920 succeeded, 104 skipped)
✅ key.core:testProveRules [no report files] (196 succeeded)
✅ key.core:testRunAllFunProofs [no report files] (47 succeeded)
✅ key.core:testRunAllInfProofs [no report files] (30 succeeded)
✅ key.removegenerics:test [no report files] (45 succeeded)
✅ key.ui:test [no report files] (5 succeeded)
✅ key.util:test [no report files] (159 succeeded)
✅ keyext.exploration:test [no report files] (3 succeeded)
❌ keyext.slicing:test [no report files] (11 succeeded, 1 failed)
✅ recoder:test [no report files] (14 succeeded, 15 skipped)