TestProofScriptCommand

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

tests

failures

ignored

22.965s

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]	3.224s	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]	3.252s	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]	3.188s	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]	3.240s	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]	3.299s	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]	3.348s	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]	3.414s	passed

Standard output

192312     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props773897628746568814.key 
192312     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 515.7ns 
192312     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
195477     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 
195508     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props773897628746568814.key 
195508     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 
195508     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
195524     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props7627422428882352845.key 
195524     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.3ns 
195540     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
198729     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 
198760     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props7627422428882352845.key 
198760     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
198760     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
198776     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
198776     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
198776     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
198792     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props7026000127773689253.key 
198792     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 870.4ns 
198792     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
201919     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 
201950     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props7026000127773689253.key 
201950     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
201950     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
201966     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
201981     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props16879628967324434725.key 
201981     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.6ns 
201981     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
205176     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 
205207     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props16879628967324434725.key 
205207     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 
205207     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
205207     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
205207     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
205223     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props17970781056250773866.key 
205223     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.39ms 
205223     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
208461     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 
208492     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17970781056250773866.key 
208492     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
208492     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
208508     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
208508     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props8379919632841156959.key 
208508     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.8ns 
208523     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
211769     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
211825     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8379919632841156959.key 
211840     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 
211840     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
211840     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
211840     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
211840     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
211856     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props13457293050149517278.key 
211873     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.11ms 
211873     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
215249     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 
215265     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props13457293050149517278.key 
215265     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
215265     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
215280     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
215280     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''