Standard output
740689 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
740689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.5ns
740691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
741158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 466.17ms
741193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
741195 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
741815 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
741847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 32.07ms
741849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
742338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 489.64ms
742386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
742426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 36.49ms
742433 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
742439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.47ms
742440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
747549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s
747601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
747604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
747709 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
747711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.53ms
747712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
752824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s
752872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
752882 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.62ms