TestContextStatementBlock

523        WARN  Test worker     d.u.i.k.s.ProofSettings   No proof-settings could be loaded, using defaults java.io.FileNotFoundException: /home/runner/.key/proof-settings.props (No such file or directory)
	at java.base/java.io.FileInputStream.open0(Native Method)

2676       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
3179       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
3206       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
3207       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
3208       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
3214       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
3234       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
3328       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
3360       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
3501       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
3570       INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 13 ms 
3570       DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  /home/runner/work/key/key/key.core/src/test/resources/testcase/testrules.key:9#1 
3571       INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
3572       DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
3741       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: --#v;, formerNode: --#v 
3755       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #v = #e;, formerNode: #v = #e 
3773       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #t, formerNode: #t 
3776       DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 203ms