TestClashFreeSubst

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

tests
0

failures
2

ignored
12.374s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.032s passed
testClashInSubstTerm() 1.072s passed
testMultiShareBound() 1.091s passed
testMultiSubst() 1.014s passed
testShare() 1.071s passed
testShareWary() 0.997s passed
testSubst() 1.029s passed
testSubstInSubstTerm() 1.013s passed
testSubstWary() 0.996s passed
testWary0() 1.002s passed
testWary1() 1.033s passed
testWary2() 1.024s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

43322      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43322      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43322      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43322      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44416      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44416      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44416      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44416      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47812      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47828      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47828      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47828      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48849      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48849      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48849      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48849      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52161      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52177      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52177      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52177      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53217      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53217      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53217      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53217      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56499      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56499      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56499      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56499      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57523      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57523      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57523      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57523      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60722      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60722      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60722      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60722      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61727      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61727      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61727      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61727      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64977      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64977      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64977      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64977      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65993      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65993      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65993      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65993      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69278      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69278      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69278      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69278      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70297      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70297      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70297      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70297      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73515      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73515      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73515      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73515      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74569      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74569      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74569      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74569      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77820      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77820      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77820      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77820      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78821      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78821      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78821      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78821      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82021      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82021      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82021      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82021      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83031      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83031      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83031      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83031      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89497      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89497      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89497      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89497      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90490      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90490      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90490      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90490      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93800      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93800      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94800      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94800      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0