TestClashFreeSubst

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

tests
0

failures
2

ignored
14.778s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.253s passed
testClashInSubstTerm() 1.271s passed
testMultiShareBound() 1.249s passed
testMultiSubst() 1.229s passed
testShare() 1.221s passed
testShareWary() 1.214s passed
testSubst() 1.204s passed
testSubstInSubstTerm() 1.235s passed
testSubstWary() 1.229s passed
testWary0() 1.226s passed
testWary1() 1.236s passed
testWary2() 1.211s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

52589      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52589      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52589      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52589      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53826      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53826      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53826      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53826      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57968      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57968      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57968      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57968      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59216      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59216      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59216      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59216      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63267      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63267      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63267      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63283      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
64487      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64487      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64487      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64487      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68470      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68470      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68470      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68470      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69678      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69678      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69678      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69678      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73670      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73670      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73670      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73670      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74892      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74892      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74892      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74892      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78967      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78967      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78967      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78967      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80187      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80187      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80202      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
80202      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84226      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84226      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84226      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84226      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85446      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85446      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85446      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85447      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89446      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89446      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89447      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
89447      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90701      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90701      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90701      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90701      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94732      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94732      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94732      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94732      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95935      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95935      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95935      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95935      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
115932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0