daejunpark

Build dependencies

$ git submodule update --init --recursive -- .
$ make deps SKIP_LLVM=true

Drop --init if the repo is not a fresh clone.

Build KEVM for the haskell backend (with the REPL support):

$ make build-haskell haskell_main_file=tests/specs/benchmarks/verification.k haskell_main_module=VERIFICATION

daejunpark

pragma solidity 0.4.24;

/// @title SelfAuthorized - authorizes current contract to perform actions
/// @author Richard Meissner - <richard@gnosis.pm>
contract SelfAuthorized {
    modifier authorized() {
        require(msg.sender == address(this), "Method can only be called from this contract");
        _;
    }
}