Standard output
437855 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
437855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.4ns
437856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
438220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 364.22ms
438252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
438254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns
438584 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
438594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 9.65ms
438599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
438983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 384.6ms
439017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
439039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.01ms
439041 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
439041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.4ns
439042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
442052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s
442097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
442098 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
442212 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
442221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 8.88ms
442222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
445215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s
445259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
445269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.24ms