TestProofScriptCommand

all > de.uka.ilkd.key.macros.scripts > TestProofScriptCommand

tests

failures

ignored

20.981s

duration

100%

successful

Tests
Standard output

Tests

Test	Method name	Duration	Result
[1] andRight.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\andRight.props	testProofScript(String, Path)[1]	2.817s	passed
[2] hide.exc.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\hide.exc.props	testProofScript(String, Path)[2]	2.786s	passed
[3] hide.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\hide.props	testProofScript(String, Path)[3]	2.829s	passed
[4] rule.exc.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\rule.exc.props	testProofScript(String, Path)[4]	2.723s	passed
[5] selectFormula.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\selectFormula.props	testProofScript(String, Path)[5]	4.323s	passed
[6] unhide.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\unhide.props	testProofScript(String, Path)[6]	2.718s	passed
[7] unhide2.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\unhide2.props	testProofScript(String, Path)[7]	2.785s	passed

Standard output

163251     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props16526310446766240595.key 
163251     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 555.7ns 
163251     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
166000     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 
166016     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props16526310446766240595.key 
166032     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
166032     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
166049     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props15135268630062505936.key 
166049     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 251ns 
166049     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
168787     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 
168803     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props15135268630062505936.key 
168803     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
168818     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
168818     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
168818     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
168818     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
168818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props3969710602696006798.key 
168818     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.2ns 
168834     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
171601     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
171617     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props3969710602696006798.key 
171632     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
171632     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
171648     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
171648     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props12389081741781900907.key 
171648     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.4ns 
171648     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
174326     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
174342     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props12389081741781900907.key 
174342     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
174342     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
174373     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
174373     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
175880     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5480219229602881640.key 
175880     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.1ns 
175880     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
178646     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
178678     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5480219229602881640.key 
178678     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
178678     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
178693     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
178702     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props12030182869082766050.key 
178702     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.1ns 
178702     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
181371     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
181386     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props12030182869082766050.key 
181402     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
181402     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
181402     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
181402     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
181402     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
181418     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props7760044079004228921.key 
181418     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.9ns 
181433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
184170     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 
184186     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props7760044079004228921.key 
184186     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
184186     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
184201     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
184201     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''