FocusCommandTest

2

tests

0

failures

0

ignored

7.408s

duration

100%

successful

Tests

Test Duration Result
testSelectionWithLabels() 3.734s passed
testSimpleSelection() 3.674s passed

Standard output

213254     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9323534529501021101.key 
213254     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 
213270     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 
215708     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-command9323534529501021101.key 
215771     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' 
215833     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' 
216990     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6329975078003356844.key 
216990     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 
216990     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 
219429     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-command6329975078003356844.key 
219492     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' 
219507     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''