TestProofBundleIO

623479     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.key 
623479     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.7ns 
623479     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
623971     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 481.53ms 
624002     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
624002     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
624299     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.zproof 
624346     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.37ms 
624346     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
624846     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 496.11ms 
624877     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
624893     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.43ms 
624908     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.key 
624908     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.5ns 
624908     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
629151     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 
629198     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
629198     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
629312     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.zproof 
629312     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.28ms 
629312     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
633552     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 
633599     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
633599     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.75ms