TestClashFreeSubst

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

tests
0

failures
2

ignored
11.675s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.011s passed
testClashInSubstTerm() 0.991s passed
testMultiShareBound() 1.025s passed
testMultiSubst() 0.940s passed
testShare() 0.955s passed
testShareWary() 0.912s passed
testSubst() 0.945s passed
testSubstInSubstTerm() 0.927s passed
testSubstWary() 0.919s passed
testWary0() 0.967s passed
testWary1() 1.017s passed
testWary2() 1.063s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38180      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38180      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38186      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 6 ms 
38186      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39200      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
39200      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39201      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
39201      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42395      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42395      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42396      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42396      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43401      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
43401      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43402      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
43402      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46644      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46645      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46645      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46645      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47597      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47597      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47598      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
47598      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50719      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50719      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50720      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
50720      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51662      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51662      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51662      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51663      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
54930      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54931      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54932      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
54932      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55892      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55893      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55893      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55894      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
59016      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59016      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59016      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59016      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60030      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60030      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60030      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60030      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63208      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63209      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63209      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63210      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64267      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64267      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64267      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64268      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67379      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67380      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67380      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67380      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68367      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68367      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68368      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
68368      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71466      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71466      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71466      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71466      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72375      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72375      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72375      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72376      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
75451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75451      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75451      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76381      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76382      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76382      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76383      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
82583      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82583      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82583      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82583      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83507      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83507      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83507      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83508      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86622      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86622      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86623      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
86624      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
87538      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87538      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87538      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87538      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0