Standard output
457970 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
457971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.1ns
457973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
458349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 375.92ms
458385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
458388 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
458911 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
458935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 23.97ms
458940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
459323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 382.94ms
459352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
459377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.53ms
459380 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
459380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 379.4ns
459381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
462552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s
462603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
462604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
462721 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
462722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.42ms
462723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
465843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s
465883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
465893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.09ms