Standard output
372056 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
372057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 332.3ns
372059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
372372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 312.42ms
372399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
372402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns
372711 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
372734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 22.78ms
372734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
373021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 286.23ms
373049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
373064 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.02ms
373065 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
373065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.8ns
373066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
375586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s
375624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
375625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns
375730 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
375731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 974.7ns
375732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
378258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s
378295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
378303 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.88ms