#idontknowwhatiamdoing — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #idontknowwhatiamdoing, aggregated by home.social.
-
Hm...I'm running into a timeout with #Creusot when trying to verify a simple `add` operation on a HashMap newtype 🤔
https://github.com/creusot-rs/creusot/discussions/1477
Does anyone have any idea what's going on here?
Disclaimer: I'm totally new to creusot and #FormalVerification, so please be gentle with me.😊
Boosts very much appreciated. :boost_love:
Thank you! ❤️
#IDontKnowWhatIamDoing #Help #FediHelp #FollowerPower #Rust #RustLang #Proof #Timeout