TestZipProofSaving

1

tests

0

failures

0

ignored

7.972s

duration

100%

successful

Tests

Test Duration Result
testZip() 7.972s passed

Standard output

484454     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest31136329905693895.key 
484455     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.8ns 
484456     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
484706     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
484707     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
484708     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
484708     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
485277     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
488923     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 
488946     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest31136329905693895.key 
488948     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
489059     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest7984474287481927315.proof.gz 
489060     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 969.21ns 
489061     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
492300     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 
492316     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7984474287481927315.proof.gz 
492322     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.03ms