Standard output
388799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.key
388799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.1ns
388799 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.key took 0 ms to parse.
388799 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
388799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
389215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 412.57ms
389247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
389247 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
389247 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.key took 0 ms to parse.
389247 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
389558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.zproof
389637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.07ms
389637 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\KeYunzip9761694001614357080\Test(Test__constant()).JML normal_behavior operation contract.0.proof took 0 ms to parse.
389637 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
389637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
390074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 442.74ms
390106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
390137 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.06ms
390137 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\KeYunzip9761694001614357080\Test(Test__constant()).JML normal_behavior operation contract.0.proof took 0 ms to parse.
390137 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
390137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.key
390137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.6ns
390137 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.key took 0 ms to parse.
390137 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
390137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
390983 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
390983 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
392687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s
392734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
392734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
392734 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.key took 0 ms to parse.
392734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
392849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.zproof
392849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.96ms
392849 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\KeYunzip18252475867008521033\Test(Test__constant()).JML normal_behavior operation contract.0.proof took 0 ms to parse.
392849 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
392865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
393709 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
393709 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
395382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s
395429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
395429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.11ms
395429 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\KeYunzip18252475867008521033\Test(Test__constant()).JML normal_behavior operation contract.0.proof took 0 ms to parse.
395429 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.