WARNING:CryticCompile:Multiple frameworks detected: solc, Solc-json. Using solc (highest priority). Use --compile-force-framework to override.
## Check for functions coverage
[✓] SafeAdd.add(uint256,uint256)

[ ] (Missing function) SafeAdd.add_v2(uint256,uint256)

[ ] (Unresolved) SafeAdd.addv2(uint256,uint256)

