Standard output
498484 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
498490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.57ms
498491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
498928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 436.91ms
498965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
498967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
499431 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
499469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 38.89ms
499471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
499870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 398.38ms
499906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
499933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.12ms
499935 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
499935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88ns
499936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
503194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
503250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
503252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
503368 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
503377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 8.12ms
503378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
506903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s
506952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
506963 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.65ms