Standard output
464611 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
464616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.04ms
464618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
465035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 416.56ms
465063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
465065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
465477 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
465494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 16.94ms
465496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
465810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 314.55ms
465840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
465862 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.28ms
465865 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
465865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 337.7ns
465866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
468913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s
468956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
468957 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
469069 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
469072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.72ms
469073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
472209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s
472251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
472260 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.44ms