Standard output
637984 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
637985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 985.06ns
637987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
638505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 517.97ms
638537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
638539 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
638785 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
638862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.14ms
638863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
639258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 395.44ms
639289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
639311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.84ms
639316 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
639316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.52ns
639317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
643708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s
643751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
643752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
643867 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
643872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.71ms
643874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
648266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s
648309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
648318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ms