Standard output
711155 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
711156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.3ms
711159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
711657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 498.63ms
711691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
711696 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
712202 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
712239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 37.23ms
712240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
712717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 476.79ms
712762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
712790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.67ms
712793 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
712793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.31ns
712794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
717873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s
717926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
717928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
718037 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
718040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.61ms
718041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
722891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s
722998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
723008 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.26ms