TestClashFreeSubst

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

tests
0

failures
2

ignored
10.836s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.897s passed
testClashInSubstTerm() 0.885s passed
testMultiShareBound() 0.942s passed
testMultiSubst() 0.857s passed
testShare() 0.885s passed
testShareWary() 0.939s passed
testSubst() 0.955s passed
testSubstInSubstTerm() 0.889s passed
testSubstWary() 0.880s passed
testWary0() 0.914s passed
testWary1() 0.922s passed
testWary2() 0.871s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

32359      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
32365      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 156 ms. 
33378      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
33380      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 157 ms. 
35348      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
35349      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 157 ms. 
35350      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
35350      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36283      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
36284      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 157 ms. 
36284      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
36285      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36291      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
36292      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 157 ms. 
37386      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 8 ms to parse. 
37395      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 165 ms. 
39369      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
39369      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 165 ms. 
39369      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39369      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40263      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
40263      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 165 ms. 
40263      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40263      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40268      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
40268      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 165 ms. 
41265      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
41266      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 166 ms. 
43255      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
43256      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 166 ms. 
43256      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
43258      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44135      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
44136      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 166 ms. 
44137      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
44137      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44142      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
44142      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 166 ms. 
45109      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
45110      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 168 ms. 
47075      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
47076      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 168 ms. 
47076      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
47077      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48027      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
48027      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 168 ms. 
48028      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
48028      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48033      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
48033      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 168 ms. 
48967      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
48968      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 169 ms. 
50892      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
50893      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 169 ms. 
50895      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 3 ms 
50895      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51799      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
51801      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 169 ms. 
51802      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 3 ms 
51803      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
51808      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
51808      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 169 ms. 
52785      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 5 ms to parse. 
52785      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 174 ms. 
54710      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
54710      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 174 ms. 
54710      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54711      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55628      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
55629      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 174 ms. 
55630      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
55630      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55638      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
55639      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 174 ms. 
56628      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
56631      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 175 ms. 
58527      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
58527      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 175 ms. 
58527      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58528      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59394      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
59395      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 175 ms. 
59395      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
59395      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59399      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
59399      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 175 ms. 
60349      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
60350      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 176 ms. 
62283      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
62284      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 176 ms. 
62284      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
62284      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63166      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
63166      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 176 ms. 
63166      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63167      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63170      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
63170      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 176 ms. 
64087      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
64087      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 177 ms. 
65948      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
65949      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 177 ms. 
65949      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
65949      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66885      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
66885      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 177 ms. 
66885      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66886      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
66889      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
66889      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 177 ms. 
67816      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
67817      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 178 ms. 
69659      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
69660      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 178 ms. 
69660      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
69660      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70512      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
70513      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 178 ms. 
70513      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
70514      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
70518      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
70518      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 178 ms. 
71492      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
71492      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 180 ms. 
73389      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
73389      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 180 ms. 
74296      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
74297      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 181 ms. 
76144      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
76144      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 181 ms. 
76144      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76145      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77029      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
77029      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 181 ms. 
77029      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
77029      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77033      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
77034      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 181 ms. 
77990      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
77990      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 183 ms. 
79859      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
79860      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 183 ms. 
79860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
79861      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80732      WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
80732      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 183 ms. 
80732      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80732      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80736      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
80736      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 183 ms. 
81670      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
81670      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 185 ms.