TestProofBundleIO

527063     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 
527063     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.4ns 
527063     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
527563     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 503.17ms 
527595     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
527610     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
527923     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 
527970     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.85ms 
527970     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
528501     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 532.88ms 
528548     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
528579     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.39ms 
528579     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 
528579     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.5ns 
528579     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
531929     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
531977     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
531977     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 114.7ns 
532093     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 
532109     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.24ms 
532109     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
535491     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 
535538     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0 
535554     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.42ms