TestClashFreeSubst

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

tests
0

failures
2

ignored
9.660s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.888s passed
testClashInSubstTerm() 0.778s passed
testMultiShareBound() 0.820s passed
testMultiSubst() 0.799s passed
testShare() 0.873s passed
testShareWary() 0.793s passed
testSubst() 0.791s passed
testSubstInSubstTerm() 0.778s passed
testSubstWary() 0.782s passed
testWary0() 0.791s passed
testWary1() 0.789s passed
testWary2() 0.777s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

31126      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31127      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
31128      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
31128      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
31942      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31942      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
31943      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
31943      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
34635      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34635      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
34636      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
34644      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
35511      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35511      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35511      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35511      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38105      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38105      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38105      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38105      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38975      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38975      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38975      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38975      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41542      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
41542      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41542      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41542      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42329      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42330      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42330      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42330      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44897      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44898      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44898      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44898      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45685      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45685      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45686      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
45686      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48259      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48259      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48260      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
48260      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49045      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49045      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49046      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
51601      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51601      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51601      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51601      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52375      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52375      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52375      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52375      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54912      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54912      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54912      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54912      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55687      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55687      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55688      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55688      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58265      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58265      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58266      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
58266      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59056      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59056      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59057      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
59057      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61597      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61598      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61598      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61598      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62392      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62392      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62393      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62393      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67483      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67483      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67484      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
67484      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68258      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68259      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68259      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68259      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70784      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70785      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70785      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70785      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71561      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71562      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71563      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71563      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0