Standard output
456089 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
456090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.1ns
456091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
456506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 415.19ms
456544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
456548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.7ns
457057 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
457075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 17.23ms
457076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
457401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 324.71ms
457435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
457462 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.25ms
457465 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
457466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.7ns
457467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
460607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s
460652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
460656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.63ms
460770 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
460771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.48ms
460780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
463871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s
463911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
463923 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ms