Standard output
460874 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
460875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.45ms
460877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
461271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 394.14ms
461304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
461306 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns
461731 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
461740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 9.53ms
461741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
462126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 385.27ms
462164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
462194 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.98ms
462196 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
462196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.8ns
462197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
465306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s
465350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
465351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
465476 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
465479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.67ms
465483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
468771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
468823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
468833 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.76ms