Standard output
458498 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
458500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.95ms
458502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
458872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 370.03ms
458901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
458904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns
459373 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
459397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 24.32ms
459398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
459798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 399.35ms
459833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
459862 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.43ms
459864 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
459864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.3ns
459865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
463178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
463219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
463220 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
463338 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
463343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.51ms
463344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
466577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s
466616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
466625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.85ms