You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was trying to work around error[creusot]: called Program function in Logic context "std::result::Result::<T, E>::is_ok" by defining a predicate like:
error: custom attribute panicked
--> src/lib.rs:124:5
|
124 | #[creusot_contracts::predicate]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= help: message: called `Result::unwrap()` on an `Err` value: Unsupported(#0 bytes(3107..3137), "Let")
Please note that I don't expect this to work since we're still using a "program function in logic context". But a better error message would be much appreciated.
The text was updated successfully, but these errors were encountered:
I was trying to work around
error[creusot]: called Program function in Logic context "std::result::Result::<T, E>::is_ok"
by defining a predicate like:which triggered this error:
Please note that I don't expect this to work since we're still using a "program function in logic context". But a better error message would be much appreciated.
The text was updated successfully, but these errors were encountered: