Static Analyzer for Solidity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
slither/tests/expected_json/void-cst.void-cst.txt

5 lines
288 B

INFO:Detectors:
Void constructor called in D.constructor() (tests/void-cst.sol#10-12):
-C() tests/void-cst.sol#10
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#void-constructor
INFO:Slither:tests/void-cst.sol analyzed (2 contracts), 1 result(s) found