AutoPerf: Lazy rule indices #3128
Build time: 25. Apr 2023 14:54Github Action
Tests
- ❌ key.core.testgen:test (11 succeeded, 2 failed)
- ❌ key.core:test (2857 succeeded, 87 failed, 102 skipped)
- ❌ key.core:testProveRules (0 succeeded, 198 failed)
- ✅ key.core:testRunAllFunProofs (34 succeeded)
- ✅ key.core:testRunAllInfProofs (29 succeeded)
- ✅ key.removegenerics:test (45 succeeded)
- ✅ key.ui:test (5 succeeded)
- ✅ key.util:test (132 succeeded)
- ❌ keyext.exploration:test (0 succeeded, 3 failed)
- ❌ keyext.slicing:test (2 succeeded, 10 failed)
- ✅ recoder:test (14 succeeded, 15 skipped)