![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
Test Result : ProofSimplifierTest
0 failures
8 tests
All Tests
| Test name | Duration | Status |
| testCCLemma | 19 ms | Passed |
| testEqDistinctRewrite | 1 ms | Passed |
| testEqSameRewrite | 0.19 sec | Passed |
| testEqToXorRewrite | 1 ms | Passed |
| testExcludedMiddle | 0 ms | Passed |
| testRewriteDivMod | 0.11 sec | Passed |
| testRewriteIte | 6 ms | Passed |
| testTrivialDiseq | 58 ms | Passed |