Replies: 1 comment
-
|
Hi, We only have support for Solidity properties so far. Is there a Scribble property that you cannot write with Solidity code? |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Can you use Echidna with Scribble annotations?
Thanks!
Beta Was this translation helpful? Give feedback.
All reactions