mythril/tests/testdata/input_contracts/version_contract.sol

contract Test {
    uint256 input;
    function add(uint256 a, uint256 b) public {
        input = a + b;
    }
}