TestIntLiteralParsing

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

tests

failures

ignored

0.122s

duration

100%

successful

Tests
Standard error

Tests

Test	Method name	Duration	Result
'\r'	testCharLiteralParsing()[10]	0.001s	passed
'\"'	testCharLiteralParsing()[11]	0.001s	passed
'\''	testCharLiteralParsing()[12]	0.001s	passed
'\\'	testCharLiteralParsing()[13]	0.002s	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.002s	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.002s	passed
020000000000	testIntLiteralParsing()[11]	0.001s	passed
01671003245	testIntLiteralParsing()[12]	0.002s	passed
0b0	testIntLiteralParsing()[13]	0.002s	passed
0b01111111111111111111111111111111	testIntLiteralParsing()[14]	0.001s	passed
0b1000_0000_0000_0000_0000_0000_0000_0000	testIntLiteralParsing()[15]	0.002s	passed
0b0100100100011101	testIntLiteralParsing()[16]	0.001s	passed
0xffff_ffff	testIntLiteralParsing()[1]	0.002s	passed
0x000	testIntLiteralParsing()[2]	0.003s	passed
0x8000_0000	testIntLiteralParsing()[3]	0.001s	passed
0x7fffffff	testIntLiteralParsing()[4]	0.002s	passed
2147483647	testIntLiteralParsing()[5]	0.002s	passed
-2147483648	testIntLiteralParsing()[6]	0.001s	passed
0	testIntLiteralParsing()[7]	0.001s	passed
-0	testIntLiteralParsing()[8]	0.002s	passed
00	testIntLiteralParsing()[9]	0.002s	passed
-2147483649	testIntRange()[1]	0.002s	passed
2147483648	testIntRange()[2]	0.001s	passed
0x1_0000_0000	testIntRange()[3]	0.002s	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.001s	passed
01671003245L	testLongLiteralParsing()[11]	0.001s	passed
0b0L	testLongLiteralParsing()[12]	0.002s	passed
0b01111111111111111111111111111111L	testLongLiteralParsing()[13]	0.001s	passed
0b1000_0000_0000_0000_0000_0000_0000_0000l	testLongLiteralParsing()[14]	0.001s	passed
0b0100100100011101L	testLongLiteralParsing()[15]	0.001s	passed
0xffff_ffff_ffff_ffffL	testLongLiteralParsing()[16]	0.001s	passed
9223372036854775807L	testLongLiteralParsing()[17]	0.001s	passed
-9223372036854775808L	testLongLiteralParsing()[18]	0.001s	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.002s	passed
0b0111111111_1111111111_1111111111_1111111111_1111111111_1111111111_1111L	testLongLiteralParsing()[21]	0.026s	passed
0x8000_0000l	testLongLiteralParsing()[2]	0.001s	passed
0x7fffffffL	testLongLiteralParsing()[3]	0.004s	passed
2147483647L	testLongLiteralParsing()[4]	0.003s	passed
-2147483648l	testLongLiteralParsing()[5]	0.003s	passed
0l	testLongLiteralParsing()[6]	0.001s	passed
-0L	testLongLiteralParsing()[7]	0.001s	passed
00L	testLongLiteralParsing()[8]	0.001s	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.001s	passed
020_0000_0000_0000_0000_0000L	testLongRange()[5]	0.001s	passed

Standard error

37560      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
37622      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
37622      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
37622      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
37622      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
37622      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
37622      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
37653      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
37653      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
37708      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
37708      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
37708      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
37708      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
37708      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
37911      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
38013      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
38013      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
38013      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
38013      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
38013      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
38029      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
38045      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
38045      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
38083      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
38098      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
38098      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
38098      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
38098      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
38367      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
38426      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
38426      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
38426      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
38426      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
38426      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
38426      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
38457      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
38457      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
38498      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
38513      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
38513      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
38513      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
38513      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
38748      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
38798      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
38798      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
38798      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
38798      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
38798      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
38798      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
38829      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
38829      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
38876      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
38876      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
38876      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
38892      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
38892      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
39204      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
39270      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
39272      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
39272      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
39273      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
39274      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
39277      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
39299      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
39304      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
39341      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
39356      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
39356      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
39356      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
39356      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
39560      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
39606      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
39606      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
39606      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
39606      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
39622      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
39622      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
39638      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
39638      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
39685      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
39700      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
39700      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
39700      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
39700      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
39920      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
40046      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
40049      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
40050      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
40051      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
40052      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
40054      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
40148      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
40148      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
40195      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
40195      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
40195      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
40210      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
40210      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
40396      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
40459      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
40459      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
40459      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
40459      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
40459      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
40459      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
40490      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
40490      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
40526      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
40541      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
40541      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
40541      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
40541      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
40746      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
40793      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
40793      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
40793      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
40808      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
40808      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
40808      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
40824      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
40842      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
40873      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
40889      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
40889      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
40889      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
40889      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
41451      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
41514      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
41530      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
41530      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
41530      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
41530      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
41530      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
41577      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
41577      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
41686      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
41702      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
41702      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
41717      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
41717      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next;