Standard output
672292 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
672296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.77ms
672299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
672759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 460.41ms
672794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
672796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
673278 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
673317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 38.98ms
673318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
673713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 394.91ms
673745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
673768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.72ms
673769 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
673770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.3ns
673771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
678349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s
678401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
678402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
678512 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
678513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.1ms
678514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
683045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s
683095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
683105 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.43ms