creusot icon indicating copy to clipboard operation
creusot copied to clipboard

Published 20 hours ago • verified publisher icon creusot-rs

Add Model in creusot-contracts-dummy

Open suhr opened this issue 1 year ago • 1 comments

Right now it's impossible to compile code that parametrize on Model

suhr avatar Jul 15 '22 14:07 suhr

Right now it's impossible to compile code that parametrize on Model

You're right, the current way we've been doing it is using cfg to conditionally disable model but I'm going to just add it to creusot-contracts as well.

xldenis avatar Jul 15 '22 17:07 xldenis

I believe this is fixed since we now always export Model in creusot-contracts.

xldenis avatar Aug 29 '22 15:08 xldenis