Upload HTML test report #3010
Build time: 02. Feb 2023 23:30Github Action
Tests
- ✅ key.core.proof_references:test (89 succeeded)
- ✅ key.core.symbolic_execution:test (361 succeeded, 39 skipped)
- ✅ key.core.testgen:test (13 succeeded)
- ✅ key.core:test (2873 succeeded, 104 skipped)
- ✅ key.core:testProveRules (196 succeeded)
- ✅ key.core:testRunAllFunProofs (47 succeeded)
- ✅ key.core:testRunAllInfProofs (30 succeeded)
- ✅ key.removegenerics:test (45 succeeded)
- ✅ key.ui:test (4 succeeded)
- ✅ key.util:test (153 succeeded)
- ✅ keyext.exploration:test (3 succeeded)
- ✅ recoder:test (14 succeeded, 15 skipped)