TestIntLiteralParsing

all > de.uka.ilkd.key.parser > TestIntLiteralParsing

tests

failures

ignored

0.139s

duration

100%

successful

Tests
Standard error

Tests

Test	Method name	Duration	Result
'\r'	testCharLiteralParsing()[10]	0.002s	passed
'\"'	testCharLiteralParsing()[11]	0.001s	passed
'\''	testCharLiteralParsing()[12]	0.001s	passed
'\\'	testCharLiteralParsing()[13]	0.001s	passed
'0'	testCharLiteralParsing()[14]	0.001s	passed
'9'	testCharLiteralParsing()[15]	0.001s	passed
'\u0000'	testCharLiteralParsing()[16]	0.001s	passed
'\uffff'	testCharLiteralParsing()[17]	0.002s	passed
'?'	testCharLiteralParsing()[18]	0.001s	passed
'Δ'	testCharLiteralParsing()[19]	0.002s	passed
'a'	testCharLiteralParsing()[1]	0.001s	passed
'?'	testCharLiteralParsing()[20]	0.001s	passed
'z'	testCharLiteralParsing()[2]	0.001s	passed
'A'	testCharLiteralParsing()[3]	0.001s	passed
'Z'	testCharLiteralParsing()[4]	0.001s	passed
' '	testCharLiteralParsing()[5]	0.001s	passed
'\b'	testCharLiteralParsing()[6]	0.001s	passed
'\t'	testCharLiteralParsing()[7]	0.001s	passed
'\n'	testCharLiteralParsing()[8]	0.001s	passed
'\f'	testCharLiteralParsing()[9]	0.001s	passed
017777777777	testIntLiteralParsing()[10]	0.001s	passed
020000000000	testIntLiteralParsing()[11]	0.001s	passed
01671003245	testIntLiteralParsing()[12]	0.001s	passed
0b0	testIntLiteralParsing()[13]	0.001s	passed
0b01111111111111111111111111111111	testIntLiteralParsing()[14]	0.001s	passed
0b1000_0000_0000_0000_0000_0000_0000_0000	testIntLiteralParsing()[15]	0.001s	passed
0b0100100100011101	testIntLiteralParsing()[16]	0.001s	passed
0xffff_ffff	testIntLiteralParsing()[1]	0.001s	passed
0x000	testIntLiteralParsing()[2]	0.002s	passed
0x8000_0000	testIntLiteralParsing()[3]	0.001s	passed
0x7fffffff	testIntLiteralParsing()[4]	0.001s	passed
2147483647	testIntLiteralParsing()[5]	0.001s	passed
-2147483648	testIntLiteralParsing()[6]	0.001s	passed
0	testIntLiteralParsing()[7]	0.001s	passed
-0	testIntLiteralParsing()[8]	0.001s	passed
00	testIntLiteralParsing()[9]	0.001s	passed
-2147483649	testIntRange()[1]	0.002s	passed
2147483648	testIntRange()[2]	0.001s	passed
0x1_0000_0000	testIntRange()[3]	0.001s	passed
0b1_0000_0000_0000_0000_0000_0000_0000_0000	testIntRange()[4]	0.001s	passed
0400_0000_0000	testIntRange()[5]	0.001s	passed
020000000000l	testLongLiteralParsing()[10]	0.002s	passed
01671003245L	testLongLiteralParsing()[11]	0.016s	passed
0b0L	testLongLiteralParsing()[12]	0.002s	passed
0b01111111111111111111111111111111L	testLongLiteralParsing()[13]	0.001s	passed
0b1000_0000_0000_0000_0000_0000_0000_0000l	testLongLiteralParsing()[14]	0.002s	passed
0b0100100100011101L	testLongLiteralParsing()[15]	0.001s	passed
0xffff_ffff_ffff_ffffL	testLongLiteralParsing()[16]	0.001s	passed
9223372036854775807L	testLongLiteralParsing()[17]	0.031s	passed
-9223372036854775808L	testLongLiteralParsing()[18]	0.007s	passed
0b1111111111_1111111111_1111111111_1111111111_1111111111_1111111111_1111L	testLongLiteralParsing()[19]	0.001s	passed
0x000l	testLongLiteralParsing()[1]	0.003s	passed
0b1000000000_0000000000_0000000000_0000000000_0000000000_0000000000_0000L	testLongLiteralParsing()[20]	0.001s	passed
0b0111111111_1111111111_1111111111_1111111111_1111111111_1111111111_1111L	testLongLiteralParsing()[21]	0.001s	passed
0x8000_0000l	testLongLiteralParsing()[2]	0.002s	passed
0x7fffffffL	testLongLiteralParsing()[3]	0.004s	passed
2147483647L	testLongLiteralParsing()[4]	0.002s	passed
-2147483648l	testLongLiteralParsing()[5]	0.003s	passed
0l	testLongLiteralParsing()[6]	0.001s	passed
-0L	testLongLiteralParsing()[7]	0.001s	passed
00L	testLongLiteralParsing()[8]	0.002s	passed
017777777777l	testLongLiteralParsing()[9]	0.001s	passed
-9_223_372_036_854_775_809L	testLongRange()[1]	0.002s	passed
9223372036854775808L	testLongRange()[2]	0.001s	passed
0x1_0000_0000_0000_0000L	testLongRange()[3]	0.002s	passed
0b10000_0000000000_0000000000_0000000000_0000000000_0000000000_0000000000L	testLongRange()[4]	0.002s	passed
020_0000_0000_0000_0000_0000L	testLongRange()[5]	0.001s	passed

Standard error

253304     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
253351     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
253351     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
253351     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
253351     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
253351     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
253351     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
253382     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
253382     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
253414     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
253414     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
253414     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
253429     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
253429     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
253594     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
253641     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
253641     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
253641     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
253641     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
253641     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
253641     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
253657     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
253673     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
253813     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
253829     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
253829     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
253829     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
253829     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
254110     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
254157     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
254157     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
254157     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
254157     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
254157     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
254157     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
254189     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
254189     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
254220     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
254220     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
254220     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
254235     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
254235     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
254397     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
254443     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
254443     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
254443     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
254443     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
254459     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
254459     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
254475     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
254475     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
254506     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
254522     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
254522     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
254522     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
254522     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
254702     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
254749     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
254749     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
254749     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
254749     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
254749     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
254749     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
254780     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
254780     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
254901     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
254901     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
254901     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
254901     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
254901     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
255063     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
255110     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
255110     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
255110     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
255110     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
255110     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
255110     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
255126     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
255142     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
255173     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
255173     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
255173     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
255173     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
255173     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
255361     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
255392     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
255392     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
255392     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
255392     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
255408     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
255408     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
255423     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
255423     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
255455     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
255472     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
255472     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
255472     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
255472     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
255650     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
255744     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
255744     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
255744     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
255744     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
255744     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
255744     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
255778     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
255778     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
255809     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
255809     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
255809     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
255809     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
255809     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
255981     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
256012     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
256028     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
256028     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
256028     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
256028     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
256028     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
256044     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
256044     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
256075     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
256091     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
256091     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
256091     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
256091     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
256325     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
256356     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
256356     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
256356     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
256356     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
256356     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
256372     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
256388     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
256388     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
256419     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
256419     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
256419     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
256435     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
256435     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next;