Standard output
371535 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
371535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.3ns
371539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
371898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 359.34ms
371925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
371927 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
372370 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
372390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 20.25ms
372391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
372704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 312.41ms
372729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
372745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.12ms
372746 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
372746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.8ns
372747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
375299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s
375335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
375336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
375444 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
375447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.76ms
375448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
378003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s
378037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
378044 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.07ms