TestLocalSymbols

all > de.uka.ilkd.key.logic > TestLocalSymbols
2

tests
0

failures
0

ignored
3.921s

duration
100%

successful

Tests

Test Duration Result
testDoubleInstantiation() 3.901s passed
testSkolemization() 0.020s passed

Standard error

#2 = orRight
de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@edbc584
#2 = allRight
de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@ae059d8
formula = all{i:int}(gt(i,Z(0(#))))
de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@ae059d8
#2 = allRight
de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@59fae772
formula = all{i:int}(lt(i,Z(0(#))))
de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@59fae772