Standard output
466695 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
466697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.61ms
466702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
467062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 360.16ms
467094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
467097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns
467412 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
467445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 33.04ms
467446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
467816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 369.57ms
467856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
467886 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.15ms
467889 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
467889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.31ns
467892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
471119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s
471166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
471167 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
471283 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
471293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.47ms
471295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
474467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s
474514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
474525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ms