FocusCommandTest

2

tests

0

failures

0

ignored

7.182s

duration

100%

successful

Tests

Test Duration Result
testSelectionWithLabels() 3.614s passed
testSimpleSelection() 3.568s passed

Standard output

203456     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command16036624523357963081.key 
203456     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.6ns 
203456     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
206926     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
206973     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16036624523357963081.key 
206988     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
206988     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' 
207051     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' 
207067     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14595649243422785557.key 
207067     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 261ns 
207067     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210507     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 
210554     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14595649243422785557.key 
210554     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
210570     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' 
210631     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''