TestClashFreeSubst

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

tests
0

failures
2

ignored
12.551s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.107s passed
testClashInSubstTerm() 1.007s passed
testMultiShareBound() 1.107s passed
testMultiSubst() 1.007s passed
testShare() 1.087s passed
testShareWary() 1.010s passed
testSubst() 1.004s passed
testSubstInSubstTerm() 1.036s passed
testSubstWary() 1.092s passed
testWary0() 1.018s passed
testWary1() 1.050s passed
testWary2() 1.025s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

54979      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54979      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54979      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54979      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56066      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56066      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56066      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56066      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59584      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59584      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59584      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59584      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60680      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60680      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60680      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60680      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64050      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64080      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64080      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64080      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65129      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65129      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65129      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65129      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68428      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68428      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68428      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68428      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69425      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69425      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69425      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69425      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72760      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72760      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72760      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72760      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73773      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73773      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73773      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73773      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77064      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77064      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77064      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77064      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78104      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78104      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78104      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78104      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81343      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81343      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81343      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81343      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82360      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82360      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82360      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82360      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85569      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85569      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85569      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85569      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86558      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86558      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86558      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86558      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89835      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89835      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89835      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89835      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90828      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90828      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90828      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90828      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94176      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94176      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94176      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94176      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95172      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95172      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95172      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95172      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
107344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0