TestClashFreeSubst

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

tests
0

failures
2

ignored
17.064s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.463s passed
testClashInSubstTerm() 1.508s passed
testMultiShareBound() 1.385s passed
testMultiSubst() 1.348s passed
testShare() 1.335s passed
testShareWary() 1.320s passed
testSubst() 1.371s passed
testSubstInSubstTerm() 1.835s passed
testSubstWary() 1.394s passed
testWary0() 1.365s passed
testWary1() 1.411s passed
testWary2() 1.329s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

57546      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57546      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57546      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57546      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58909      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58909      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58924      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
58924      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63490      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63490      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63490      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63490      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64941      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64941      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64941      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64941      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69494      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69494      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69494      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69494      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70818      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70818      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70818      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70818      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75221      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75221      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75221      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75221      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76581      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76581      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76581      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76581      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81093      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81093      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81093      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81093      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82444      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82444      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82444      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82444      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86869      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86869      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86869      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86869      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88263      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88263      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88279      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88279      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92630      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92630      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92630      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92630      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93947      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93947      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93947      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93947      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98491      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98491      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98491      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98491      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99999      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99999      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99999      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104318     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104318     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104318     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104318     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
105649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111360     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111360     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111360     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 17 ms 
120325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
122115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
122115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
126494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
126494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
127891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
127891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
127891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
127891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0