tanim0la/scribbleXmythril-test

Fuzz testing smart contracts with scribble and mythril (Foundry)

scribbleXmythril-test

There are three (3) contracts in the src folder (A.sol, B.sol and Token.sol)

B.sol

A.sol is inherited into B.sol which has a single property that assert to false if a function call is successful.

Token.sol

Its a token contract that inherit ERC20.sol from solmate lib, also assert to false if a function call is successful.

Arming and Analyzing both contracts

B.sol

Annotation was found and when I analyzed, the property was detected.

Token.sol

Annotations was found but when I analyzed, the property was NOT detected.