FocusCommandTest

all > de.uka.ilkd.key.macros.scripts > FocusCommandTest
2

tests
0

failures
0

ignored
5.114s

duration
100%

successful

Tests

Test Duration Result
testSelectionWithLabels() 2.582s passed
testSimpleSelection() 2.532s passed

Standard error

#2 = nosplit-prop
de.uka.ilkd.key.macros.scripts.MacroCommand$Parameters@7ce5978c
#2 = [equals(i,Z(1(#)))]==>[equals(i,Z(3(#)))]
de.uka.ilkd.key.macros.scripts.FocusCommand$Parameters@336713e4
#2 = nosplit-prop
de.uka.ilkd.key.macros.scripts.MacroCommand$Parameters@57ffb4b9
#2 = [equals(i,Z(1(#)))]==>[equals(i,Z(4(#)))]
de.uka.ilkd.key.macros.scripts.FocusCommand$Parameters@7cd491e8