Standard output
506721 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
506727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.42ms
506735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
507149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 413.82ms
507183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
507185 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns
507686 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
507713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 26.82ms
507715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
508096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 381.27ms
508130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
508159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.72ms
508161 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
508161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.5ns
508164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
511491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
511537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
511539 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns
511656 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
511659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.46ms
511666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
515174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s
515222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
515233 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.88ms