{
  "_format": "hh-sol-artifact-1",
  "contractName": "L2OutputOracle_Proposer",
  "sourceName": "contracts/test/invariants/L2OutputOracle.t.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "contract L2OutputOracle",
          "name": "_oracle",
          "type": "address"
        },
        {
          "internalType": "contract Vm",
          "name": "_vm",
          "type": "address"
        }
      ],
      "stateMutability": "nonpayable",
      "type": "constructor"
    },
    {
      "inputs": [
        {
          "internalType": "bytes32",
          "name": "_outputRoot",
          "type": "bytes32"
        },
        {
          "internalType": "uint256",
          "name": "_l2BlockNumber",
          "type": "uint256"
        },
        {
          "internalType": "bytes32",
          "name": "_l1BlockHash",
          "type": "bytes32"
        },
        {
          "internalType": "uint256",
          "name": "_l1BlockNumber",
          "type": "uint256"
        }
      ],
      "name": "proposeL2Output",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b5060405161033d38038061033d83398101604081905261002f91610078565b600080546001600160a01b039384166001600160a01b031991821617909155600180549290931691161790556100b2565b6001600160a01b038116811461007557600080fd5b50565b6000806040838503121561008b57600080fd5b825161009681610060565b60208401519092506100a781610060565b809150509250929050565b61027c806100c16000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c80639aaab64814610030575b600080fd5b61004361003e366004610200565b610045565b005b600154600054604080517fbffa7f0f000000000000000000000000000000000000000000000000000000008152905173ffffffffffffffffffffffffffffffffffffffff9384169363ca669fa793169163bffa7f0f9160048083019260209291908290030181865afa1580156100bf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906100e39190610232565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e084901b16815273ffffffffffffffffffffffffffffffffffffffff9091166004820152602401600060405180830381600087803b15801561014957600080fd5b505af115801561015d573d6000803e3d6000fd5b50506000546040517f9aaab6480000000000000000000000000000000000000000000000000000000081526004810188905260248101879052604481018690526064810185905273ffffffffffffffffffffffffffffffffffffffff9091169250639aaab6489150608401600060405180830381600087803b1580156101e257600080fd5b505af11580156101f6573d6000803e3d6000fd5b5050505050505050565b6000806000806080858703121561021657600080fd5b5050823594602084013594506040840135936060013592509050565b60006020828403121561024457600080fd5b815173ffffffffffffffffffffffffffffffffffffffff8116811461026857600080fd5b939250505056fea164736f6c634300080f000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b506004361061002b5760003560e01c80639aaab64814610030575b600080fd5b61004361003e366004610200565b610045565b005b600154600054604080517fbffa7f0f000000000000000000000000000000000000000000000000000000008152905173ffffffffffffffffffffffffffffffffffffffff9384169363ca669fa793169163bffa7f0f9160048083019260209291908290030181865afa1580156100bf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906100e39190610232565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e084901b16815273ffffffffffffffffffffffffffffffffffffffff9091166004820152602401600060405180830381600087803b15801561014957600080fd5b505af115801561015d573d6000803e3d6000fd5b50506000546040517f9aaab6480000000000000000000000000000000000000000000000000000000081526004810188905260248101879052604481018690526064810185905273ffffffffffffffffffffffffffffffffffffffff9091169250639aaab6489150608401600060405180830381600087803b1580156101e257600080fd5b505af11580156101f6573d6000803e3d6000fd5b5050505050505050565b6000806000806080858703121561021657600080fd5b5050823594602084013594506040840135936060013592509050565b60006020828403121561024457600080fd5b815173ffffffffffffffffffffffffffffffffffffffff8116811461026857600080fd5b939250505056fea164736f6c634300080f000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}