Allow creusot-contracts to build locally

creusot-rs / creusot

Creusot helps you prove your code is correct in an automated fashion.

GNU Lesser General Public License v2.1

1.15k stars 50 forks source link

Closed xldenis closed 1 month ago

xldenis commented 1 month ago

This provides a patch to the problem encountered by making creusot-contracts a hard error.