// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

contract Champion {
    uint256 internal constant _damage = 2;
    uint256 constant b = 8;

    function getAttackDamage() external pure returns (uint256) {
        return _damage;
    }

    function attack() external pure returns (string memory) {
        return "plof!";
    }
}

{
  "remappings": [
    "@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/",
    "ds-test/=lib/forge-std/lib/ds-test/src/",
    "erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/",
    "forge-std/=lib/forge-std/src/",
    "halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/",
    "openzeppelin-contracts/=lib/openzeppelin-contracts/"
  ],
  "optimizer": {
    "enabled": true,
    "runs": 20000
  },
  "metadata": {
    "useLiteralContent": false,
    "bytecodeHash": "ipfs",
    "appendCBOR": true
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "evmVersion": "paris",
  "viaIR": false,
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"name":"attack","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getAttackDamage","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"}]

0x608060405234801561001057600080fd5b5061012b806100206000396000f3fe6080604052348015600f57600080fd5b506004361060325760003560e01c80639e5faafc146037578063e29c6d7614607d575b600080fd5b604080518082018252600581527f706c6f66210000000000000000000000000000000000000000000000000000006020820152905160749190608b565b60405180910390f35b604051600281526020016074565b600060208083528351808285015260005b8181101560b657858101830151858201604001528201609c565b5060006040828601015260407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f830116850101925050509291505056fea26469706673582212205f2a06183232526f6e038f61a3ae76125ed498d142cf435950e9bfbdf34caaeb64736f6c63430008140033

0x6080604052348015600f57600080fd5b506004361060325760003560e01c80639e5faafc146037578063e29c6d7614607d575b600080fd5b604080518082018252600581527f706c6f66210000000000000000000000000000000000000000000000000000006020820152905160749190608b565b60405180910390f35b604051600281526020016074565b600060208083528351808285015260005b8181101560b657858101830151858201604001528201609c565b5060006040828601015260407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f830116850101925050509291505056fea26469706673582212205f2a06183232526f6e038f61a3ae76125ed498d142cf435950e9bfbdf34caaeb64736f6c63430008140033