679 WARN Test worker d.u.i.k.s.ProofSettings No proof-settings could be loaded, using defaults java.io.FileNotFoundException: C:\Users\runneradmin\.key\proof-settings.props (The system cannot find the path specified)
at java.base/java.io.FileInputStream.open0(Native Method)
3608 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean
3701 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Object, formerNode: java.lang.Object
3701 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Object, formerNode: java.lang.Object
3732 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Annotation, formerNode: Annotation
3764 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArithmeticException, formerNode: ArithmeticException
3795 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayIndexOutOfBoundsException, formerNode: ArrayIndexOutOfBoundsException
3811 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayStoreException, formerNode: ArrayStoreException
3826 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: AssertionError, formerNode: AssertionError
3851 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Character, formerNode: Character
3858 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Class, formerNode: java.lang.Class
3858 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Class, formerNode: java.lang.Class
3873 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ClassCastException, formerNode: ClassCastException
3889 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: CloneNotSupportedException, formerNode: CloneNotSupportedException
3889 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Cloneable, formerNode: Cloneable
3904 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Comparable, formerNode: Comparable
3920 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Double, formerNode: Double
3983 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Enum, formerNode: java.lang.Enum
3983 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Enum, formerNode: java.lang.Enum
4010 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Error, formerNode: Error
4022 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Exception, formerNode: Exception
4041 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ExceptionInInitializerError, formerNode: java.lang.ExceptionInInitializerError
4041 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ExceptionInInitializerError, formerNode: java.lang.ExceptionInInitializerError
4041 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Float, formerNode: Float
4057 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IllegalArgumentException, formerNode: IllegalArgumentException
4057 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IndexOutOfBoundsException, formerNode: IndexOutOfBoundsException
4135 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Integer, formerNode: java.lang.Integer
4135 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Integer, formerNode: java.lang.Integer
4151 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InterruptedException, formerNode: InterruptedException
4151 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterable, formerNode: Iterable
4166 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkageError, formerNode: LinkageError
4225 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Math, formerNode: Math
4244 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NegativeArraySizeException, formerNode: NegativeArraySizeException
4260 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NoClassDefFoundError, formerNode: java.lang.NoClassDefFoundError
4260 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NoClassDefFoundError, formerNode: java.lang.NoClassDefFoundError
4260 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NullPointerException, formerNode: NullPointerException
4260 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Number, formerNode: Number
4307 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NumberFormatException, formerNode: NumberFormatException
4310 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: VirtualMachineError, formerNode: VirtualMachineError
4310 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutOfMemoryError, formerNode: OutOfMemoryError
4310 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Runnable, formerNode: Runnable
4326 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: RuntimeException, formerNode: RuntimeException
4342 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure*/
int, formerNode: int
4357 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
int, formerNode: int
4357 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean
4388 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String
4451 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: String, formerNode: java.lang.String
4498 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: String, formerNode: java.lang.String
4498 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: char, formerNode: /*@ helper */
char
4513 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: StringBuffer, formerNode: StringBuffer
4513 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: System, formerNode: System
4529 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Thread, formerNode: Thread
4545 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Throwable, formerNode: java.lang.Throwable
4545 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Throwable, formerNode: java.lang.Throwable
4560 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Collection, formerNode: Collection
4560 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterator, formerNode: java.util.Iterator
4560 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterator, formerNode: java.util.Iterator
4598 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: List, formerNode: java.util.List
4598 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: List, formerNode: java.util.List
4614 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIterator, formerNode: java.util.ListIterator
4614 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIterator, formerNode: java.util.ListIterator
4614 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Long, formerNode: Long
4629 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Boolean, formerNode: Boolean
4629 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Map, formerNode: Map
4645 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Set, formerNode: java.util.Set
4645 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Set, formerNode: java.util.Set
4661 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: FilterOutputStream, formerNode: FilterOutputStream
4661 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InputStream, formerNode: java.io.InputStream
4661 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InputStream, formerNode: java.io.InputStream
4676 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IOException, formerNode: IOException
4676 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutputStream, formerNode: java.io.OutputStream
4676 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutputStream, formerNode: java.io.OutputStream
4717 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: PrintStream, formerNode: java.io.PrintStream
4718 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: PrintStream, formerNode: java.io.PrintStream
4720 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Serializable, formerNode: Serializable
4723 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: BigInteger, formerNode: java.math.BigInteger
4733 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: BigInteger, formerNode: java.math.BigInteger
4736 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayList, formerNode: ArrayList
4742 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: byte[], formerNode: byte[]
4790 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Arrays, formerNode: Arrays
4794 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIteratorImpl, formerNode: ListIteratorImpl
4798 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Date, formerNode: Date
4801 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkedHashMap, formerNode: LinkedHashMap
4803 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure@*/
String, formerNode: /*@strictly_pure*/
java.lang.String
4807 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkedList, formerNode: LinkedList
4920 INFO Test worker d.u.i.k.n.KeyIO Parsing took 31 ms
4936 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: D:\a\key\key\key.core\src\test\resources\testcase\testrules.key:9#1
4938 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 2 ms
4939 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
5140 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: --#v;, formerNode: --#v
5156 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: #v = #e;, formerNode: #v = #e
5171 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: #t, formerNode: #t
5171 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 230ms