FocusCommandTest

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

tests
0

failures
0

ignored
5.532s

duration
100%

successful

Tests

Test Duration Result
testSelectionWithLabels() 2.755s passed
testSimpleSelection() 2.777s passed

Standard output

158369     WARN  Test worker     d.u.i.k.n.ParsingFacade   /tmp/key-focus-command121302250301056119.key took 0 ms to parse. 
158369     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 660 ms. 
159224     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
159224     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 661 ms. 
161084     WARN  Test worker     d.u.i.k.n.ParsingFacade   /tmp/key-focus-command121302250301056119.key took 0 ms to parse. 
161084     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 661 ms. 
161125     WARN  Test worker     d.u.i.k.n.ParsingFacade   /tmp/key-focus-command11082394029365052173.key took 0 ms to parse. 
161126     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 661 ms. 
161993     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
161994     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 662 ms. 
163875     WARN  Test worker     d.u.i.k.n.ParsingFacade   /tmp/key-focus-command11082394029365052173.key took 0 ms to parse. 
163876     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 662 ms.