TestClashFreeSubst

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

tests
0

failures
2

ignored
12.204s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.018s passed
testClashInSubstTerm() 1.015s passed
testMultiShareBound() 1.005s passed
testMultiSubst() 1.003s passed
testShare() 1.037s passed
testShareWary() 1.000s passed
testSubst() 1.029s passed
testSubstInSubstTerm() 1.018s passed
testSubstWary() 0.998s passed
testWary0() 1.008s passed
testWary1() 1.051s passed
testWary2() 1.022s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

43572      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43572      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43572      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43572      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44557      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44557      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44557      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44572      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47919      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47919      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47919      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47919      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48920      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48920      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48920      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48920      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52204      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52204      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52204      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52204      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53236      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53236      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53236      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53236      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56534      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56534      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56534      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56534      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57550      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57550      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57550      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57550      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60771      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60771      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60771      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60771      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61772      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61772      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61772      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61772      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65025      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65025      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65025      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65025      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66073      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66073      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66073      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66073      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69356      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69356      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69356      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69356      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70371      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70371      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70371      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70371      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73624      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73624      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73624      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73624      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74625      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74625      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74625      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74625      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77799      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77799      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77799      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77799      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78799      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78799      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78799      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78799      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81974      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81974      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81974      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81974      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82975      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82975      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82975      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82975      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89430      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89430      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89446      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
89446      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90446      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90446      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90446      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90446      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93652      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93652      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93652      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93652      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94636      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94636      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94636      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94636      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0