TestLocalSymbols
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testDoubleInstantiation() | 5.412s | passed |
| testSkolemization() | 0.039s | passed |
|
100%
successful |
| Test | Duration | Result |
|---|---|---|
| testDoubleInstantiation() | 5.412s | passed |
| testSkolemization() | 0.039s | passed |