TestProofScriptCommand

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

tests

failures

ignored

28.028s

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]	4.158s	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]	4.018s	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.907s	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]	4.017s	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.141s	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]	4.009s	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.778s	passed

Standard output

222498     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props818843606895655248.key 
222498     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.29ms 
222514     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
226564     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 
226642     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props818843606895655248.key 
226642     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
226642     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
226657     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props16806937073386868866.key 
226657     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 203ns 
226673     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
230488     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 
230659     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props16806937073386868866.key 
230659     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
230659     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
230675     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
230675     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
230675     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
230691     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props3307567299925336871.key 
230691     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.15ms 
230691     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
234522     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 
234553     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props3307567299925336871.key 
234553     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
234553     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
234568     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
234803     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props18250876659161262899.key 
234803     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 551.4ns 
234803     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
238680     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 
238711     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props18250876659161262899.key 
238711     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
238711     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
238711     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
238711     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
238727     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5125114500333612793.key 
238727     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.29ms 
238727     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
242792     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 
242823     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5125114500333612793.key 
242823     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
242823     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
242855     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
242871     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props1884728682674386860.key 
242871     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 715.4ns 
242871     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
246826     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.96s 
246857     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props1884728682674386860.key 
246857     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
246857     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
246873     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
246873     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
246873     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
246888     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props18050971157439099144.key 
246888     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 789ns 
246888     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
250608     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 
250624     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props18050971157439099144.key 
250640     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
250640     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
250640     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
250640     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''