search

hacl-star / merkle-tree

A verified Merkle Tree, built as a standalone project on top of EverCrypt
6 stars 5 forks source link

bump rlimit #16

Closed mtzguido closed 7 months ago

mtzguido commented 8 months ago

This proof regressed.

mtzguido commented 8 months ago

Hmm.. everest CI came back green, but I did get a local failure without increasing this limit.