Artiweb > Pull Request #3064 > Artifact 595483243

Code cleanup #3064

Build time: 13. Mar 2023 07:30
Github Action

Tests

✅ key.core:testProveRules (196 succeeded)
✅ key.core:testRunAllFunProofs (47 succeeded)
✅ key.core:testRunAllInfProofs (30 succeeded)