INFO:Detectors:
Different versions of Solidity is used in :
	- Version used: ['^0.4.23', '^0.4.24']
	- tests/pragma.0.4.23.sol#1 declares pragma solidity^0.4.23
	- tests/pragma.0.4.24.sol#1 declares pragma solidity^0.4.24
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#different-pragma-directives-are-used
INFO:Slither:tests/pragma.0.4.24.sol analyzed (1 contracts), 1 result(s) found