Standard output
489315 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
489315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.9ns
489317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
489734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 417.41ms
489769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
489771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
490223 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
490246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 23.11ms
490255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
490590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 335.62ms
490623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
490650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.61ms
490652 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
490653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371ns
490654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
493976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s
494023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
494025 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
494136 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
494137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.49ms
494140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
497484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s
497528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
497539 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.01ms