TestClashFreeSubst

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

tests
0

failures
2

ignored
13.424s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.216s passed
testClashInSubstTerm() 1.087s passed
testMultiShareBound() 1.135s passed
testMultiSubst() 1.098s passed
testShare() 1.141s passed
testShareWary() 1.091s passed
testSubst() 1.075s passed
testSubstInSubstTerm() 1.111s passed
testSubstWary() 1.023s passed
testWary0() 1.224s passed
testWary1() 1.098s passed
testWary2() 1.125s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

46181      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46181      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46181      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46181      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47308      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47308      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47308      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51090      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51090      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51137      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 47 ms 
51137      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52302      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52302      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52302      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52302      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56107      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56107      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56107      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56107      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57233      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57233      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57233      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57233      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60956      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60956      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60956      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60956      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62019      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62019      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62019      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62019      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65787      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65787      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65787      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65787      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67007      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67007      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67007      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67007      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70775      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70775      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70775      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70775      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71869      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71869      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71869      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71869      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75450      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75450      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75450      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75450      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76559      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76559      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76559      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76559      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80280      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80280      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80280      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80280      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81358      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81358      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81358      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81358      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84876      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84876      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84876      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84876      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85955      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85955      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85955      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85955      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89551      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89551      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89551      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89551      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90645      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90645      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90645      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90645      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97726      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97726      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97726      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97726      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98820      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98820      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98820      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98820      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0