Standard output
753491 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
753491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 511.81ns
753494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
754012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 518.21ms
754049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
754053 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
754702 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
754729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 26.57ms
754730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
755206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 475.9ms
755242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
755268 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.22ms
755273 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
755274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.9ns
755276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
760464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s
760519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
760521 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
760639 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
760642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.02ms
760644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
765975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s
766032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
766042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.92ms