TestProofScriptCommand

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

tests

failures

ignored

25.521s

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.475s	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.560s	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.707s	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.638s	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.656s	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.840s	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.645s	passed

Standard output

210830     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props3401462016761391309.key 
210830     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.6ns 
210830     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214232     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
214279     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props3401462016761391309.key 
214279     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
214279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
214357     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props18409105138732005695.key 
214357     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.9ns 
214357     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217807     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
217823     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props18409105138732005695.key 
217839     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
217839     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
217839     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
217839     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
217839     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
217870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props374062491179029858.key 
217870     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.9ns 
217870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
221499     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 
221530     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props374062491179029858.key 
221530     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
221530     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
221546     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
221686     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props6043577913832857957.key 
221686     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.9ns 
221686     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
225168     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
225187     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props6043577913832857957.key 
225187     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
225187     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
225187     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
225187     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
225199     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props16725554475662842190.key 
225199     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.13ms 
225199     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
228813     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 
228828     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props16725554475662842190.key 
228828     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
228828     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
228844     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
228922     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props6992831878565606095.key 
228922     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 192ns 
228937     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
232543     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 
232574     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props6992831878565606095.key 
232590     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
232590     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
232668     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
232668     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
232668     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
232684     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props10266219215087181253.key 
232684     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.37ms 
232684     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
236301     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 
236317     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10266219215087181253.key 
236317     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
236317     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
236317     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
236332     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''