TestClashFreeSubst

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

tests
0

failures
2

ignored
16.090s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.350s passed
testClashInSubstTerm() 1.331s passed
testMultiShareBound() 1.367s passed
testMultiSubst() 1.309s passed
testShare() 1.400s passed
testShareWary() 1.348s passed
testSubst() 1.352s passed
testSubstInSubstTerm() 1.306s passed
testSubstWary() 1.303s passed
testWary0() 1.360s passed
testWary1() 1.356s passed
testWary2() 1.308s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

51206      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51206      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51206      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51207      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52568      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
52568      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52568      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52568      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56906      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56907      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56907      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56908      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58248      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58249      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58250      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
58250      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62588      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62589      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62590      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62590      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63983      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63984      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63985      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63985      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68333      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68334      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68334      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68335      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69679      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69680      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69681      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
69682      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74077      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74077      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74078      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
74078      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75432      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75432      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75433      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75433      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79861      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79861      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79863      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
79863      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81212      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81212      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81213      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
81213      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85524      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85524      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85525      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
85525      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86829      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86829      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86829      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86829      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91198      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91199      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91200      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
91200      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92524      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92524      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92524      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92525      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
96885      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96885      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96886      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
96886      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98230      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98231      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
98231      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
102580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
113729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
118029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
119330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0