Standard output
518346 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
518346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.3ns
518347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
518796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 449.04ms
518837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
518839 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
519283 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
519310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 20.91ms
519311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
519729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 417.76ms
519774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
519801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.61ms
519807 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
519808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 770.11ns
519809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
523230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s
523280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
523281 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
523405 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
523408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.19ms
523411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
526873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s
526921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
526930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.46ms