Closed Demonhero0 closed 3 months ago
In README.md, the Command-line to use medusa is as follows:
medusa fuzz --target contract.sol --deployment-order ContractName
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.
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.