TestClashFreeSubst

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

tests
0

failures
2

ignored
12.452s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.044s passed
testClashInSubstTerm() 1.025s passed
testMultiShareBound() 1.089s passed
testMultiSubst() 1.011s passed
testShare() 1.036s passed
testShareWary() 1.035s passed
testSubst() 1.074s passed
testSubstInSubstTerm() 1.018s passed
testSubstWary() 1.007s passed
testWary0() 1.035s passed
testWary1() 1.045s passed
testWary2() 1.033s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42230      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42230      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42230      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42230      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43309      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43309      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43309      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43309      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46670      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46670      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46670      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46670      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47701      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47701      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47701      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47701      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51078      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51078      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51078      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51078      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52110      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52110      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52110      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52110      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55440      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55440      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55440      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55440      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56519      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56519      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56519      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56519      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59786      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59786      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59786      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59786      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60818      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60818      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60818      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60818      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64102      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64102      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64102      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64102      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65133      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65133      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65133      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65133      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68417      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68417      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68417      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68417      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69449      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69449      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69449      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69449      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72638      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72638      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72638      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72638      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73655      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73655      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73655      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73655      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76860      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76860      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76860      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77891      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77891      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77891      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77891      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81128      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81128      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81128      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81128      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82129      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82129      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82129      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82129      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88741      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88741      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88741      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88741      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89758      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89758      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89758      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89758      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92963      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92963      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92963      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92963      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93963      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93963      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93979      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
93979      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0