FocusCommandTest

2

tests

0

failures

0

ignored

5.664s

duration

100%

successful

Tests

Test Duration Result
testSelectionWithLabels() 2.844s passed
testSimpleSelection() 2.820s passed

Standard output

163284     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11294739003912132660.key 
163284     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.7ns 
163284     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
165988     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
166051     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11294739003912132660.key 
166051     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns 
166051     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' 
166098     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' 
166113     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2378985323105629866.key 
166113     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.4ns 
166129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
168816     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
168863     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2378985323105629866.key 
168863     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns 
168863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' 
168941     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''