TestProofBundleIO

582904     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 
582904     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.8ns 
582904     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
583435     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 519.54ms 
583467     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
583467     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
583748     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 
583811     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.69ms 
583811     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
584342     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 527.26ms 
584374     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
584405     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 29.14ms 
584420     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 
584420     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 502.7ns 
584420     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
588344     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 
588391     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
588406     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 
588547     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 
588547     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.23ms 
588547     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
592471     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 
592581     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
592596     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.56ms