TestClashFreeSubst

all > de.uka.ilkd.key.logic > TestClashFreeSubst
14

tests
0

failures
2

ignored
13.430s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.104s passed
testClashInSubstTerm() 1.121s passed
testMultiShareBound() 1.091s passed
testMultiSubst() 1.092s passed
testShare() 1.153s passed
testShareWary() 1.132s passed
testSubst() 1.135s passed
testSubstInSubstTerm() 1.086s passed
testSubstWary() 1.068s passed
testWary0() 1.222s passed
testWary1() 1.093s passed
testWary2() 1.133s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42934      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42934      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42935      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42935      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44018      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44019      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44019      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44020      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47753      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47754      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47758      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 4 ms 
47759      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48850      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48850      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48850      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48851      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52424      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52424      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52425      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52425      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53570      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53572      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53572      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
53572      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57246      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57246      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57247      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
57247      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58378      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58379      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58379      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58379      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61984      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61985      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61985      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61985      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63202      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63202      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63202      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63203      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66932      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66932      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66933      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
66933      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68022      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68022      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68022      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68023      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71675      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71675      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71676      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71676      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72803      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72804      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72804      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72805      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76364      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76364      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76365      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
76365      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77481      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77481      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77481      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77481      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81042      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81043      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81043      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81043      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82160      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82163      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82166      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
82167      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85822      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85823      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85823      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85824      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86909      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86910      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86910      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86911      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94152      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
94152      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94153      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
94154      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95232      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
95232      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95233      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
95233      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98811      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98812      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98812      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98812      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99873      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99874      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99875      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
99876      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0