Standard output
704569 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
704569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.7ns
704571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
705017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 446.01ms
705052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
705056 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
705646 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
705681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 35.3ms
705683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
706151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 468.25ms
706192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
706223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.41ms
706226 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
706227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.5ns
706228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
711070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s
711124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
711126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
711240 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
711242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.48ms
711245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
716080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s
716129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
716139 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.89ms