TestClashFreeSubst

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

tests
0

failures
2

ignored
14.302s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.283s passed
testClashInSubstTerm() 1.182s passed
testMultiShareBound() 1.249s passed
testMultiSubst() 1.179s passed
testShare() 1.235s passed
testShareWary() 1.153s passed
testSubst() 1.159s passed
testSubstInSubstTerm() 1.181s passed
testSubstWary() 1.171s passed
testWary0() 1.177s passed
testWary1() 1.164s passed
testWary2() 1.169s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

52879      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52879      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52879      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52879      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54114      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54114      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54114      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54130      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58162      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58162      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58162      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58162      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59429      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59429      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59429      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59429      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63324      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63324      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63324      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63324      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64558      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64558      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64558      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64558      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68514      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68514      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68514      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68514      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69671      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69671      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69671      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69671      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73519      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73519      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73519      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73519      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74692      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74692      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74692      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74692      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78600      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78600      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78600      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78600      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79757      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79757      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79757      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79757      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83650      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83650      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83650      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83650      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84823      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84823      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84823      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84823      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88668      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88668      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88668      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88699      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89843      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89843      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89843      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89843      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93704      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93704      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93704      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93704      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94845      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94845      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94845      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94845      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98694      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98694      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98694      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98694      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99850      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99850      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99850      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99850      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
113503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0