@soma-finance/core-contracts/abi/FullMathEchidnaTest.json

SOMA Finance core contracts

[
  {
    "inputs": [
      {
        "internalType": "uint256",
        "name": "x",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "y",
        "type": "uint256"
      }
    ],
    "name": "checkH",
    "outputs": [],
    "stateMutability": "pure",
    "type": "function"
  }
]