TestLocalSymbols
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testDoubleInstantiation() | 5.138s | passed |
| testSkolemization() | 0.033s | passed |
Standard output
97821 INFO Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight' 97860 INFO Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0'' 97869 INFO Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''