TestProofScriptCommand

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

tests

failures

ignored

25.008s

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.511s	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.609s	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.726s	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.458s	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.674s	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.554s	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.476s	passed

Standard output

210511     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props17838485595856252534.key 
210511     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 650.4ns 
210511     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213980     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 
213995     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props17838485595856252534.key 
214011     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
214011     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
214011     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props8544899829714886272.key 
214011     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.5ns 
214026     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217573     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 
217605     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props8544899829714886272.key 
217605     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
217605     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
217620     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
217620     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
217620     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
217620     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props11163642908009611494.key 
217620     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.8ns 
217620     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
221253     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 
221331     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props11163642908009611494.key 
221331     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
221331     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
221347     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
221362     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props6632173547892817846.key 
221362     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.8ns 
221362     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
224760     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
224775     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props6632173547892817846.key 
224775     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
224806     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
224806     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
224806     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
224822     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props3996683207442460862.key 
224822     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.26ms 
224822     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
228434     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 
228450     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props3996683207442460862.key 
228450     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
228465     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
228465     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
228481     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props8762839781164810452.key 
228481     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.3ns 
228481     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
231988     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
232003     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8762839781164810452.key 
232019     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
232019     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
232019     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
232019     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
232019     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
232035     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props5620045886109986584.key 
232041     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 949.3ns 
232043     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
235481     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
235497     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5620045886109986584.key 
235497     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
235497     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
235512     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
235512     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''