TestClashFreeSubst

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

tests
0

failures
2

ignored
10.041s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.843s passed
testClashInSubstTerm() 0.822s passed
testMultiShareBound() 0.898s passed
testMultiSubst() 0.835s passed
testShare() 0.830s passed
testShareWary() 0.818s passed
testSubst() 0.855s passed
testSubstInSubstTerm() 0.809s passed
testSubstWary() 0.842s passed
testWary0() 0.835s passed
testWary1() 0.825s passed
testWary2() 0.828s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

34369      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34369      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
34369      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34369      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
35260      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35260      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35260      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35260      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38099      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38100      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38100      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38100      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38926      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38926      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38926      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38926      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41696      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41696      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41696      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41696      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42519      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42519      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42519      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42519      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45221      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45221      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45221      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45221      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46079      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46079      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46079      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46079      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48788      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48788      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48788      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48788      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49614      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49614      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49614      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52286      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52286      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52286      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52286      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53112      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53112      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53112      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53112      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55781      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55781      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55781      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55781      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56601      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56601      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56601      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56601      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59252      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59252      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59252      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59252      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60074      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60074      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60074      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60074      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62756      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62772      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62772      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62772      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63577      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63577      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63577      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63577      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66238      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66238      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66238      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66238      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67074      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67074      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67074      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67074      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72445      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72445      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72445      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72445      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73256      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73256      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73256      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73256      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75941      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75941      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75941      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75941      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76770      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76770      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76770      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76770      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0