TestClashFreeSubst

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

tests
0

failures
2

ignored
10.287s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.897s passed
testClashInSubstTerm() 0.876s passed
testMultiShareBound() 0.911s passed
testMultiSubst() 0.830s passed
testShare() 0.836s passed
testShareWary() 0.824s passed
testSubst() 0.877s passed
testSubstInSubstTerm() 0.843s passed
testSubstWary() 0.849s passed
testWary0() 0.863s passed
testWary1() 0.851s passed
testWary2() 0.829s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37489      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37505      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38403      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38403      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41454      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41454      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42349      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42349      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45109      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45109      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45941      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45941      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48722      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48722      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49584      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49584      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52334      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52334      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53198      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53198      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55897      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55897      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56744      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56744      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59487      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59487      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60315      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60315      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63015      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63015      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63892      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63892      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66632      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66647      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67452      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67452      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70157      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70157      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70982      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70982      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76426      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76426      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77252      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77252      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79981      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79981      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80827      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80827      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms