TestClashFreeSubst

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

tests
0

failures
2

ignored
12.019s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.018s passed
testClashInSubstTerm() 0.977s passed
testMultiShareBound() 1.075s passed
testMultiSubst() 0.966s passed
testShare() 1.005s passed
testShareWary() 0.981s passed
testSubst() 0.989s passed
testSubstInSubstTerm() 0.997s passed
testSubstWary() 1.011s passed
testWary0() 1.003s passed
testWary1() 0.987s passed
testWary2() 1.010s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42404      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42404      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42404      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42404      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43469      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43469      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43469      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43485      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46867      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46867      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46867      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46867      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47881      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47881      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47881      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47881      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51112      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51127      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51127      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51127      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52123      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52123      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52123      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52123      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55629      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55629      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55629      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55629      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56614      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56614      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56614      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59796      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59796      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59796      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59796      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60798      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60798      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60798      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60798      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64033      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64033      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64033      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64033      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65005      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65005      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65005      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65005      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68201      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68201      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68201      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68201      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69216      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69216      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69216      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69216      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72408      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72408      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72408      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72408      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73375      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73375      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73375      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73375      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76624      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76624      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76624      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76624      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77590      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77590      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77590      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77590      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80801      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80801      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80801      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80801      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81756      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81756      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81756      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81756      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88107      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88107      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88107      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88107      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89100      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89100      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89100      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89100      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92330      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92330      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92330      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92330      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93339      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93339      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93339      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93339      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0