705 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)
4189 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean
4334 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Object, formerNode: java.lang.Object
4346 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Object, formerNode: java.lang.Object
4369 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Annotation, formerNode: Annotation
4424 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArithmeticException, formerNode: ArithmeticException
4461 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayIndexOutOfBoundsException, formerNode: ArrayIndexOutOfBoundsException
4486 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayStoreException, formerNode: ArrayStoreException
4515 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: AssertionError, formerNode: AssertionError
4537 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Character, formerNode: Character
4549 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Class, formerNode: java.lang.Class
4553 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Class, formerNode: java.lang.Class
4575 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ClassCastException, formerNode: ClassCastException
4601 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: CloneNotSupportedException, formerNode: CloneNotSupportedException
4610 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Cloneable, formerNode: Cloneable
4621 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Comparable, formerNode: Comparable
4633 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Double, formerNode: Double
4663 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Enum, formerNode: java.lang.Enum
4665 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Enum, formerNode: java.lang.Enum
4693 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Error, formerNode: Error
4712 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Exception, formerNode: Exception
4737 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ExceptionInInitializerError, formerNode: java.lang.ExceptionInInitializerError
4738 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ExceptionInInitializerError, formerNode: java.lang.ExceptionInInitializerError
4746 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Float, formerNode: Float
4754 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IllegalArgumentException, formerNode: IllegalArgumentException
4759 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IndexOutOfBoundsException, formerNode: IndexOutOfBoundsException
4821 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Integer, formerNode: java.lang.Integer
4823 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Integer, formerNode: java.lang.Integer
4828 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InterruptedException, formerNode: InterruptedException
4832 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterable, formerNode: Iterable
4837 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkageError, formerNode: LinkageError
4881 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Math, formerNode: Math
4887 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NegativeArraySizeException, formerNode: NegativeArraySizeException
4890 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NoClassDefFoundError, formerNode: java.lang.NoClassDefFoundError
4891 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NoClassDefFoundError, formerNode: java.lang.NoClassDefFoundError
4898 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NullPointerException, formerNode: NullPointerException
4908 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Number, formerNode: Number
4923 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NumberFormatException, formerNode: NumberFormatException
4930 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: VirtualMachineError, formerNode: VirtualMachineError
4945 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutOfMemoryError, formerNode: OutOfMemoryError
4952 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Runnable, formerNode: Runnable
4975 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: RuntimeException, formerNode: RuntimeException
4981 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure*/
int, formerNode: int
5020 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
int, formerNode: int
5025 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean
5073 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String
5135 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: String, formerNode: java.lang.String
5214 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: String, formerNode: java.lang.String
5228 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: char, formerNode: /*@ helper */
char
5236 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: StringBuffer, formerNode: StringBuffer
5264 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: System, formerNode: System
5275 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Thread, formerNode: Thread
5293 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Throwable, formerNode: java.lang.Throwable
5294 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Throwable, formerNode: java.lang.Throwable
5323 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Collection, formerNode: Collection
5328 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterator, formerNode: java.util.Iterator
5329 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterator, formerNode: java.util.Iterator
5344 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: List, formerNode: java.util.List
5346 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: List, formerNode: java.util.List
5370 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIterator, formerNode: java.util.ListIterator
5371 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIterator, formerNode: java.util.ListIterator
5388 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Long, formerNode: Long
5391 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Boolean, formerNode: Boolean
5414 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Map, formerNode: Map
5441 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Set, formerNode: java.util.Set
5447 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Set, formerNode: java.util.Set
5454 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: FilterOutputStream, formerNode: FilterOutputStream
5457 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InputStream, formerNode: java.io.InputStream
5458 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InputStream, formerNode: java.io.InputStream
5465 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IOException, formerNode: IOException
5470 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutputStream, formerNode: java.io.OutputStream
5473 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutputStream, formerNode: java.io.OutputStream
5492 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: PrintStream, formerNode: java.io.PrintStream
5494 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: PrintStream, formerNode: java.io.PrintStream
5501 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Serializable, formerNode: Serializable
5506 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: BigInteger, formerNode: java.math.BigInteger
5529 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: BigInteger, formerNode: java.math.BigInteger
5534 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayList, formerNode: ArrayList
5542 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: byte[], formerNode: byte[]
5596 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Arrays, formerNode: Arrays
5601 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIteratorImpl, formerNode: ListIteratorImpl
5605 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Date, formerNode: Date
5609 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkedHashMap, formerNode: LinkedHashMap
5613 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure@*/
String, formerNode: /*@strictly_pure*/
java.lang.String
5617 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkedList, formerNode: LinkedList
5736 INFO Test worker d.u.i.k.n.KeyIO Parsing took 27 ms
5739 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
5745 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 6 ms
5747 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
5932 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: --#v;, formerNode: --#v
5962 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: #v = #e;, formerNode: #v = #e
5983 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: #t, formerNode: #t
5986 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 237ms