Artiweb > Pull Request #3001 > Artifact 535074496

Install SMT solvers for CI testing #3001

Build time: 31. Jan 2023 15:49
Github Action

✅ key.core.proof_references:test [no report files] (89 succeeded)
✅ key.core.symbolic_execution:test [no report files] (361 succeeded, 39 skipped)
✅ key.core:testProveRules [no report files] (196 succeeded)
✅ key.core:testRunAllFunProofs [no report files] (47 succeeded)
✅ key.core:testRunAllInfProofs [no report files] (30 succeeded)