TestIntLiteralParsing

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

tests

failures

ignored

0.113s

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.001s	passed
'?'	testCharLiteralParsing()[18]	0.004s	passed
'Δ'	testCharLiteralParsing()[19]	0.003s	passed
'a'	testCharLiteralParsing()[1]	0.002s	passed
'?'	testCharLiteralParsing()[20]	0.002s	passed
'z'	testCharLiteralParsing()[2]	0.001s	passed
'A'	testCharLiteralParsing()[3]	0.001s	passed
'Z'	testCharLiteralParsing()[4]	0.002s	passed
' '	testCharLiteralParsing()[5]	0.001s	passed
'\b'	testCharLiteralParsing()[6]	0.002s	passed
'\t'	testCharLiteralParsing()[7]	0.001s	passed
'\n'	testCharLiteralParsing()[8]	0.002s	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.001s	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.002s	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.002s	passed
0400_0000_0000	testIntRange()[5]	0.001s	passed
020000000000l	testLongLiteralParsing()[10]	0.001s	passed
01671003245L	testLongLiteralParsing()[11]	0.004s	passed
0b0L	testLongLiteralParsing()[12]	0.001s	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.002s	passed
-9223372036854775808L	testLongLiteralParsing()[18]	0.002s	passed
0b1111111111_1111111111_1111111111_1111111111_1111111111_1111111111_1111L	testLongLiteralParsing()[19]	0.002s	passed
0x000l	testLongLiteralParsing()[1]	0.005s	passed
0b1000000000_0000000000_0000000000_0000000000_0000000000_0000000000_0000L	testLongLiteralParsing()[20]	0.002s	passed
0b0111111111_1111111111_1111111111_1111111111_1111111111_1111111111_1111L	testLongLiteralParsing()[21]	0.006s	passed
0x8000_0000l	testLongLiteralParsing()[2]	0.002s	passed
0x7fffffffL	testLongLiteralParsing()[3]	0.002s	passed
2147483647L	testLongLiteralParsing()[4]	0.002s	passed
-2147483648l	testLongLiteralParsing()[5]	0.006s	passed
0l	testLongLiteralParsing()[6]	0.001s	passed
-0L	testLongLiteralParsing()[7]	0.002s	passed
00L	testLongLiteralParsing()[8]	0.002s	passed
017777777777l	testLongLiteralParsing()[9]	0.001s	passed
-9_223_372_036_854_775_809L	testLongRange()[1]	0.003s	passed
9223372036854775808L	testLongRange()[2]	0.003s	passed
0x1_0000_0000_0000_0000L	testLongRange()[3]	0.001s	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

37276      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
37315      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
37317      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
37318      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
37318      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
37319      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
37322      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
37341      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
37345      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
37454      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
37455      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
37455      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
37466      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
37466      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
37648      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
37693      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
37695      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
37696      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
37696      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
37697      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
37701      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
37723      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
37727      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
37763      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
37764      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
37764      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
37775      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
37775      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
38082      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
38145      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
38148      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
38148      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
38149      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
38150      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
38153      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
38172      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
38176      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
38210      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
38212      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
38212      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
38225      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
38226      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
38391      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
38432      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
38434      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
38435      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
38435      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
38436      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
38440      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
38459      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
38463      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
38497      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
38499      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
38499      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
38510      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
38510      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
38822      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
38861      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
38864      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
38864      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
38865      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
38867      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
38870      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
38889      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
38893      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
38928      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
38929      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
38929      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
38939      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
38939      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
39098      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
39135      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
39138      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
39138      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
39138      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
39139      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
39142      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
39160      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
39164      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
39197      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
39199      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
39199      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
39209      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
39209      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
39386      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
39426      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
39428      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
39428      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
39428      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
39429      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
39433      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
39452      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
39456      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
39490      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
39491      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
39491      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
39501      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
39501      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
39671      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
39710      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
39712      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
39712      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
39712      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
39713      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
39716      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
39808      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
39812      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
39849      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
39850      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
39850      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
39860      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
39860      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
40037      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
40075      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
40077      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
40077      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
40077      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
40078      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
40082      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
40101      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
40105      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
40141      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
40143      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
40143      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
40153      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
40153      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
40323      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
40364      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
40366      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
40366      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
40366      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
40367      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
40370      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
40390      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
40394      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
40430      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
40432      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
40432      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
40442      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
40442      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next;