Standard output
492487 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
492488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.1ns
492494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
492907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 412.55ms
492947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
492950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
493450 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
493464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 14.45ms
493466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
493815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 349.02ms
493851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
493877 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.79ms
493880 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
493880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.5ns
493881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
497255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s
497308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
497310 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
497422 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
497423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.69ms
497425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
500786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
500836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
500848 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.44ms