Standard output
506331 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
506331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.5ns
506332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
506794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 461.96ms
506830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
506834 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
507225 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
507265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 39.98ms
507267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
507651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 383.73ms
507691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
507723 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.69ms
507725 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
507726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.2ns
507728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
511270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s
511317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
511321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
511429 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
511433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.86ms
511435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
515018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s
515081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
515092 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.15ms