TestClashFreeSubst

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

tests
0

failures
2

ignored
12.198s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.017s passed
testClashInSubstTerm() 0.986s passed
testMultiShareBound() 1.123s passed
testMultiSubst() 0.999s passed
testShare() 0.999s passed
testShareWary() 0.976s passed
testSubst() 1.016s passed
testSubstInSubstTerm() 1.005s passed
testSubstWary() 1.012s passed
testWary0() 1.029s passed
testWary1() 1.002s passed
testWary2() 1.034s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42906      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42906      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42906      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42906      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44013      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44013      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44013      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44028      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47395      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47395      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47395      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47395      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48403      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48403      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48403      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48403      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51750      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51750      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51750      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51750      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52746      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52746      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52746      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52746      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56061      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56061      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56061      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56061      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57076      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57076      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57076      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57076      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60385      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60385      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60385      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60385      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61405      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61405      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61405      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61405      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64689      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64689      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64689      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64689      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65687      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65687      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65687      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65687      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68940      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68940      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68940      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68940      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69956      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69956      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69956      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69956      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73143      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73143      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73143      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73143      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74131      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74131      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74131      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74131      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77360      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77360      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77360      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77360      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78321      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78321      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78337      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
78337      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81579      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81579      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81579      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81579      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82549      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82549      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82549      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82549      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89011      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89011      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89011      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89011      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90014      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90014      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90014      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90014      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93277      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93277      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93277      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93277      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94287      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94287      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94287      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94287      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0