TestClashFreeSubst

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

tests
0

failures
2

ignored
18.428s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.541s passed
testClashInSubstTerm() 1.508s passed
testMultiShareBound() 1.623s passed
testMultiSubst() 1.482s passed
testShare() 1.512s passed
testShareWary() 1.517s passed
testSubst() 1.497s passed
testSubstInSubstTerm() 1.556s passed
testSubstWary() 1.723s passed
testWary0() 1.481s passed
testWary1() 1.485s passed
testWary2() 1.503s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

60156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60156      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60171      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
60171      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61772      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61772      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61772      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61772      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66690      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66690      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66690      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66690      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68230      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68230      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68230      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68230      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73142      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73142      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73142      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73142      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74633      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74633      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74648      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
74648      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79501      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79501      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79501      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79501      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80996      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80996      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80996      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80996      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85831      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85831      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85831      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85831      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87308      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87308      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87308      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92065      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92065      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92065      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92065      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93539      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93539      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93554      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
93554      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98394      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98394      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98394      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98394      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99890      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99890      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99890      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99890      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
117409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
117409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
117409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
128609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
128609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
130160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
130160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
130160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
130160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
135512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
135512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
135512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
135512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
137227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
137227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
137227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
137227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0