TestClashFreeSubst

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

tests

failures

ignored

13.321s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testClash()	1.138s	passed
testClashInSubstTerm()	1.061s	passed
testMultiShareBound()	1.122s	passed
testMultiSubst()	1.092s	passed
testShare()	1.131s	passed
testShareWary()	1.268s	passed
testSubst()	1.089s	passed
testSubstInSubstTerm()	1.011s	passed
testSubstWary()	1.035s	passed
testWary0()	1.118s	passed
testWary1()	1.175s	passed
testWary2()	1.080s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored

Standard output

44146      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44146      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45253      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45253      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49091      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49091      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50196      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50196      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53696      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53696      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54821      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54821      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58297      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58297      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59386      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59386      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62838      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62838      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63937      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63937      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67487      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67503      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68669      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68669      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73310      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73310      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76816      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76816      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77865      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77865      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81454      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81454      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82728      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82728      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86209      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86224      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87287      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87303      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94115      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94115      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95129      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95129      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98587      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98587      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99609      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99609      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms