TestClashFreeSubst

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

tests
0

failures
2

ignored
12.367s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.033s passed
testClashInSubstTerm() 1.015s passed
testMultiShareBound() 1.062s passed
testMultiSubst() 1.010s passed
testShare() 1.035s passed
testShareWary() 1.023s passed
testSubst() 1.032s passed
testSubstInSubstTerm() 1.018s passed
testSubstWary() 1.057s passed
testWary0() 1.007s passed
testWary1() 1.065s passed
testWary2() 1.010s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

41855      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41855      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41856      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
41856      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42913      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42914      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42914      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42914      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46437      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46437      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46438      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
46438      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47463      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
47463      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47463      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47464      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
50862      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50863      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50864      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
50864      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51892      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51893      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51893      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51894      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55292      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55293      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55294      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55294      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56319      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56320      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56321      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
56321      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59699      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59699      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59699      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59699      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60702      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
60702      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60702      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60702      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64039      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64039      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64039      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64039      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65099      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65100      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65100      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65101      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68320      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68321      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68321      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68322      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69326      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69326      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69326      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69327      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72635      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72635      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72636      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72636      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73645      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73645      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73646      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
73646      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77232      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77232      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77233      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
77233      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78252      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78252      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78252      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78253      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81596      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81597      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81597      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81597      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82601      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82601      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82601      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82602      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89301      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89302      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89303      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
89303      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90315      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90316      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90316      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90317      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93851      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93852      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93852      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93853      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94903      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94904      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94905      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
94905      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0