Standard output
441768 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
441768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.8ns
441770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
442151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 381.34ms
442220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
442221 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
442653 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
442665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 11.99ms
442666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
442952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 286.36ms
442979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
443003 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.7ms
443004 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
443005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.9ns
443005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
445978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s
446017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
446019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
446131 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
446132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.42ms
446133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
449311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s
449354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
449364 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.29ms