TestClashFreeSubst

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

tests
0

failures
2

ignored
12.144s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.020s passed
testClashInSubstTerm() 0.983s passed
testMultiShareBound() 1.133s passed
testMultiSubst() 0.987s passed
testShare() 0.997s passed
testShareWary() 1.004s passed
testSubst() 0.988s passed
testSubstInSubstTerm() 1.014s passed
testSubstWary() 1.002s passed
testWary0() 1.030s passed
testWary1() 1.004s passed
testWary2() 0.982s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

43160      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43160      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43160      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43160      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44278      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44278      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44294      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
44294      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47677      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47677      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47677      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47677      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48679      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48679      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48679      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48679      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51968      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51968      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51968      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51968      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52959      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52959      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52959      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52959      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56239      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56239      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56239      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56239      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57212      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57212      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57212      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57212      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60450      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60450      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60450      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60450      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61458      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61458      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61458      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61458      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64746      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64746      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64746      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64746      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65753      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65753      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65753      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65753      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69003      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69003      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69003      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69003      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69981      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69981      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69981      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69981      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73212      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73212      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73212      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73212      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74182      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74182      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74182      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74182      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77416      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77416      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77416      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77416      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78408      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78408      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78408      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78408      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81698      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81698      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81698      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81698      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82668      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82668      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82668      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82668      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89153      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89169      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89169      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89169      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90173      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90173      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90173      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90173      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93503      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93503      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93503      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93503      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94498      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94498      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94498      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94498      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0