Artiweb #3103
Build time: 03. Apr 2023 20:15Github Action
Tests
- ❌ key.core.proof_references:test (87 succeeded, 2 failed)
- ❌ key.core.symbolic_execution:test (287 succeeded, 74 failed, 39 skipped)
- ✅ key.core:testProveRules (196 succeeded)
- ✅ key.core:testRunAllInfProofs (30 succeeded)