Standard output
481332 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
481333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.24ms
481339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
481794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 454.85ms
481833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
481835 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns
482250 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
482262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 11.85ms
482263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
482607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 343.47ms
482639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
482667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.41ms
482670 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
482670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 464.8ns
482671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
485738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s
485785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
485791 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
485897 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
485899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.58ms
485900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
489026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s
489073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
489083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.41ms