TestApplyTaclet
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testAddExistingFormulaAntec() | 0.047s | passed |
| testAddExistingFormulaSucc() | 0.044s | passed |
| testAddExistingFormulaTwoInAntec() | 0.055s | passed |
| testAddExistingFormulaTwoInAntec2() | 0.053s | passed |
| testAddExistingFormulaTwoInSucc() | 0.046s | passed |
| testAddExistingFormulaTwoInSucc2() | 0.049s | passed |
| testAddingRule() | 0.046s | passed |
| testAntecTacletWithoutIf() | 0.138s | passed |
| testBugBrokenApply() | 0.044s | passed |
| testBugEmptyBlock() | 0.049s | passed |
| testBugID176() | 0.046s | passed |
| testBugID177() | 0.046s | passed |
| testBugID188() | 0.045s | passed |
| testCatchList() | 1.031s | passed |
| testCompleteContextAddBug() | 0.044s | passed |
| testContextAdding() | 0.045s | passed |
| testIncompleteNoFindTacletApp() | 0.052s | passed |
| testIncompleteSuccTacletApp() | 0.045s | passed |
| testModalityLevel0() | 0.044s | passed |
| testModalityLevel1() | 0.045s | passed |
| testModalityLevel2() | 0.060s | passed |
| testNoFindTacletWithoutIf() | 0.048s | passed |
| testPrgTacletApp() | 0.046s | passed |
| testRemoveEmptyBlock() | 0.045s | passed |
| testRewriteTacletWithoutIf() | 0.044s | passed |
| testSuccTacletAllRight() | 0.047s | passed |
| testSuccTacletWithoutIf() | 0.049s | passed |
| testTacletVariableCollector() | 0.046s | passed |
| testTacletWithIf() | 0.046s | passed |
Standard output
464970 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key 464971 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key 464971 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key 464972 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key 464973 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key 464973 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key 464973 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key 464973 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key 464974 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key 464974 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key 464974 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key 464977 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key 464977 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key 464977 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key 464982 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/testrules.key 465908 INFO Test worker d.u.i.k.n.KeyIO Parsing took 2 ms 465908 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: /home/runner/work/key/key/key.core/src/test/resources/testcase/testrules.key:9#1 465908 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms 465909 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1 465941 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 32ms