TestClashFreeSubst

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

tests
0

failures
2

ignored
10.391s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.896s passed
testClashInSubstTerm() 0.849s passed
testMultiShareBound() 0.929s passed
testMultiSubst() 0.833s passed
testShare() 0.901s passed
testShareWary() 0.844s passed
testSubst() 0.854s passed
testSubstInSubstTerm() 0.856s passed
testSubstWary() 0.840s passed
testWary0() 0.845s passed
testWary1() 0.887s passed
testWary2() 0.857s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

39451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39451      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39451      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40375      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40375      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40375      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40375      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43399      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43399      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43399      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43415      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44291      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44291      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44291      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44291      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47338      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47338      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47338      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47338      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48220      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48220      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48220      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48220      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51093      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51094      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51094      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51094      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51934      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51934      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51934      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51934      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54821      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54821      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54821      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54821      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55666      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55666      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55666      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55666      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58546      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58546      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58546      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58546      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59434      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59434      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59434      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59434      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62190      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62190      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62190      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62190      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63034      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63034      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63049      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
63049      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65826      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65826      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65841      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
65841      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66670      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66670      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66670      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66670      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69493      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69493      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69493      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69493      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70333      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
70333      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70333      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70333      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73140      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73140      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73140      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73140      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73952      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73952      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73952      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73952      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79504      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79504      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79519      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
79519      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80363      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80363      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80363      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80363      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83324      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83324      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83324      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83324      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84170      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84170      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84170      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84170      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0