TestZipProofSaving

1

tests

0

failures

0

ignored

7.784s

duration

100%

successful

Tests

Test Duration Result
testZip() 7.784s passed

Standard output

479562     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15716604355911007016.key 
479562     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.5ns 
479562     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
479687     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
479687     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
479687     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
479687     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
480259     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
484004     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 
484020     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15716604355911007016.key 
484020     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
484145     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9696034794671421962.proof.gz 
484145     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.6ns 
484145     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
487202     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 
487217     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9696034794671421962.proof.gz 
487233     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.48ms