TestProofScriptCommand
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [1] unhide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide.props | testProofScript(String, Path)[1] | 2.795s | passed |
| [2] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props | testProofScript(String, Path)[2] | 2.747s | passed |
| [3] hide.exc.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.exc.props | testProofScript(String, Path)[3] | 2.834s | passed |
| [4] unhide2.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide2.props | testProofScript(String, Path)[4] | 2.915s | passed |
| [5] rule.exc.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/rule.exc.props | testProofScript(String, Path)[5] | 2.723s | passed |
| [6] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props | testProofScript(String, Path)[6] | 2.713s | passed |
| [7] hide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.props | testProofScript(String, Path)[7] | 2.803s | passed |
Standard output
163935 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_unhide.props8820357651799343438.key took 0 ms to parse. 163936 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 662 ms. 164810 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 164810 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 663 ms. 166708 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_unhide.props8820357651799343438.key took 0 ms to parse. 166709 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 663 ms. 166732 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_selectFormula.props16519386930197436206.key took 0 ms to parse. 166732 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 663 ms. 167593 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 4 ms to parse. 167594 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 667 ms. 169468 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_selectFormula.props16519386930197436206.key took 0 ms to parse. 169468 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 667 ms. 169478 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_hide.exc.props134422603227105779.key took 0 ms to parse. 169479 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 667 ms. 170365 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 170365 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 668 ms. 172304 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_hide.exc.props134422603227105779.key took 0 ms to parse. 172304 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 668 ms. 172314 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_unhide2.props13189185592354606683.key took 0 ms to parse. 172314 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 668 ms. 173238 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 173238 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 669 ms. 175222 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_unhide2.props13189185592354606683.key took 0 ms to parse. 175222 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 669 ms. 175229 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_rule.exc.props14186373385920867671.key took 0 ms to parse. 175229 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 669 ms. 176104 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 176104 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 670 ms. 177949 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_rule.exc.props14186373385920867671.key took 0 ms to parse. 177949 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 670 ms. 177952 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_andRight.props5697506186825504165.key took 0 ms to parse. 177952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 670 ms. 178781 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 178781 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 671 ms. 180662 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_andRight.props5697506186825504165.key took 0 ms to parse. 180662 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 671 ms. 180666 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_hide.props14985093835694675103.key took 0 ms to parse. 180666 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 671 ms. 181604 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 181604 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 672 ms. 183458 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/proofscript_key_hide.props14985093835694675103.key took 0 ms to parse. 183459 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 672 ms.