Standard output
630227 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
630227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 646.44ns
630230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
630716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 485.93ms
630750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
630752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
631063 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
631091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 28.52ms
631093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
631522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 428.77ms
631555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
631579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.72ms
631582 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
631582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.43ns
631583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
635863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s
635919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
635922 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
636032 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
636033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.56ms
636036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
640368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s
640416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
640429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.79ms