Standard output
784261 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
784262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.9ns
784267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
784807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 539.26ms
784859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
784862 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
785348 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
785403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.18ms
785405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
785974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 568.76ms
786022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
786063 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.08ms
786068 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
786068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 468ns
786071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
791586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s
791655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
791658 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
791780 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
791787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.46ms
791796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
797207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s
797273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
797287 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.61ms