TestClashFreeSubst

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

tests
0

failures
2

ignored
12.441s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.007s passed
testClashInSubstTerm() 1.039s passed
testMultiShareBound() 1.049s passed
testMultiSubst() 1.011s passed
testShare() 1.043s passed
testShareWary() 1.012s passed
testSubst() 1.052s passed
testSubstInSubstTerm() 1.007s passed
testSubstWary() 1.008s passed
testWary0() 1.082s passed
testWary1() 1.083s passed
testWary2() 1.048s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

41444      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41444      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41444      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41444      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42493      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42493      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42493      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42493      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45776      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45776      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45776      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45792      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46776      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46776      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46776      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46776      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50076      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50076      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50076      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50076      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51123      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51123      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51123      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51123      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54532      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54532      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54532      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54532      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55579      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55579      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55579      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55579      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59190      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59190      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59190      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59190      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60253      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60253      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60253      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60253      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63677      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63677      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63677      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63677      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64756      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64756      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64756      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64756      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68335      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68335      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68335      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68335      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69368      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69368      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69368      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69368      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 
72635      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72635      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73652      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73667      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73667      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73667      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76903      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76903      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76919      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
76919      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77920      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77920      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77920      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77920      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81173      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81173      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81173      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81173      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82174      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82174      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82174      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82174      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88602      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88602      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88602      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88602      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89602      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89602      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89602      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89602      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92776      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92776      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92776      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92776      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93776      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93776      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93776      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93776      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0