TestZipProofSaving

1

tests

0

failures

0

ignored

6.034s

duration

100%

successful

Tests

Test Duration Result
testZip() 6.034s passed

Standard output

365463     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest5213408326340750916.key 
365463     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.4ns 
365464     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
365556     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
365556     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
365557     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
365557     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
365939     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
368691     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
368709     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5213408326340750916.key 
368711     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
368818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest12956768273883570329.proof.gz 
368824     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.36ms 
368829     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
371375     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 
371390     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12956768273883570329.proof.gz 
371394     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.26ms