mirror of https://github.com/crytic/slither
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.
26 lines
400 B
26 lines
400 B
pragma solidity 0.4.24;
|
|
contract Locked{
|
|
|
|
function receive() payable public{
|
|
require(msg.value > 0);
|
|
}
|
|
|
|
}
|
|
|
|
contract Send{
|
|
address owner = msg.sender;
|
|
|
|
function withdraw() public{
|
|
owner.transfer(address(this).balance);
|
|
}
|
|
}
|
|
|
|
contract Unlocked is Locked, Send{
|
|
|
|
function withdraw() public{
|
|
super.withdraw();
|
|
}
|
|
|
|
}
|
|
|
|
contract OnlyLocked is Locked{ }
|
|
|