FocusCommandTest

2

tests

0

failures

0

ignored

9.014s

duration

100%

successful

Tests

Test Duration Result
testSelectionWithLabels() 3.666s passed
testSimpleSelection() 5.348s passed

Standard output

199874     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13706176593411261919.key 
199874     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
199890     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
202259     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13706176593411261919.key 
202307     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' 
202408     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' 
203674     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command15347209733500286628.key 
203674     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
203674     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
207397     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command15347209733500286628.key 
207694     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' 
207772     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''