Standard output
672670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/complexBundleGeneration/test.key
672670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.2ns
672678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
673150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 471.52ms
673186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
673189 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
673786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/complexBundleGeneration/test.zproof
673813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 27.03ms
673814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
674235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 420.68ms
674266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
674288 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.7ms
674291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/simpleBundleGeneration/test.key
674291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.1ns
674292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
678762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s
678811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
678812 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
678920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/simpleBundleGeneration/test.zproof
678923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.65ms
678925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
683561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s
683605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
683614 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.96ms