Artiweb > Pull Request #3064 > Artifact 595026530

Code cleanup #3064

Build time: 12. Mar 2023 21:14
Github Action

Tests

❌ key.core:testProveRules (194 succeeded, 2 failed)
❌ key.core:testRunAllFunProofs (46 succeeded, 1 failed)
✅ key.core:testRunAllInfProofs (30 succeeded)