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
But the actual usage is "--compilation-target" and "--target-contracts". The guideline is confusing. Furthermore, it seems that the "fuzz_" test tag is invalid, medusa does not report any violation during testing.
The text was updated successfully, but these errors were encountered:
In README.md, the Command-line to use medusa is as follows:
But the actual usage is "--compilation-target" and "--target-contracts". The guideline is confusing. Furthermore, it seems that the "fuzz_" test tag is invalid, medusa does not report any violation during testing.
The text was updated successfully, but these errors were encountered: