It is possible to obtain the constraint for each path? #1722
Unanswered
MingWEN-CS
asked this question in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
Hi All
I want to perform some static analysis of smart contract, and found this great tool!!
I want to know if there is a convenient way to obtain the constraints for each explored path via using manticore? Is there any documents or examples that I can refer to?
Best Wishes
Thanks
Beta Was this translation helpful? Give feedback.
All reactions