Commit e3d33d7b authored by Maurelian's avatar Maurelian

ctb: Fix compiler warnings in echidna contracts

parent 9b74fd6d
...@@ -7,6 +7,7 @@ ...@@ -7,6 +7,7 @@
"code-complexity": ["warn", 5], "code-complexity": ["warn", 5],
"max-line-length": ["error", 100], "max-line-length": ["error", 100],
"func-param-name-mixedcase": "error", "func-param-name-mixedcase": "error",
"func-name-mixedcase": "off",
"modifier-name-mixedcase": "error", "modifier-name-mixedcase": "error",
"ordering": "warn", "ordering": "warn",
"avoid-low-level-calls": "off", "avoid-low-level-calls": "off",
......
...@@ -3,7 +3,7 @@ pragma solidity 0.8.15; ...@@ -3,7 +3,7 @@ pragma solidity 0.8.15;
import { AddressAliasHelper } from "../vendor/AddressAliasHelper.sol"; import { AddressAliasHelper } from "../vendor/AddressAliasHelper.sol";
contract EchidnaFuzzAddressAliasing { contract EchidnaFuzzAddressAliasing {
bool failedRoundtrip; bool internal failedRoundtrip;
/** /**
* @notice Takes an address to be aliased with AddressAliasHelper and then unaliased * @notice Takes an address to be aliased with AddressAliasHelper and then unaliased
......
...@@ -4,7 +4,7 @@ import { Burn } from "../libraries/Burn.sol"; ...@@ -4,7 +4,7 @@ import { Burn } from "../libraries/Burn.sol";
import { StdUtils } from "forge-std/Test.sol"; import { StdUtils } from "forge-std/Test.sol";
contract EchidnaFuzzBurnEth is StdUtils { contract EchidnaFuzzBurnEth is StdUtils {
bool failedEthBurn; bool internal failedEthBurn;
/** /**
* @notice Takes an integer amount of eth to burn through the Burn library and * @notice Takes an integer amount of eth to burn through the Burn library and
...@@ -33,7 +33,7 @@ contract EchidnaFuzzBurnEth is StdUtils { ...@@ -33,7 +33,7 @@ contract EchidnaFuzzBurnEth is StdUtils {
} }
contract EchidnaFuzzBurnGas is StdUtils { contract EchidnaFuzzBurnGas is StdUtils {
bool failedGasBurn; bool internal failedGasBurn;
/** /**
* @notice Takes an integer amount of gas to burn through the Burn library and * @notice Takes an integer amount of gas to burn through the Burn library and
......
...@@ -3,8 +3,8 @@ pragma solidity 0.8.15; ...@@ -3,8 +3,8 @@ pragma solidity 0.8.15;
import { Encoding } from "../libraries/Encoding.sol"; import { Encoding } from "../libraries/Encoding.sol";
contract EchidnaFuzzEncoding { contract EchidnaFuzzEncoding {
bool failedRoundtripAToB; bool internal failedRoundtripAToB;
bool failedRoundtripBToA; bool internal failedRoundtripBToA;
/** /**
* @notice Takes a pair of integers to be encoded into a versioned nonce with the * @notice Takes a pair of integers to be encoded into a versioned nonce with the
......
...@@ -4,9 +4,9 @@ import { Hashing } from "../libraries/Hashing.sol"; ...@@ -4,9 +4,9 @@ import { Hashing } from "../libraries/Hashing.sol";
import { Encoding } from "../libraries/Encoding.sol"; import { Encoding } from "../libraries/Encoding.sol";
contract EchidnaFuzzHashing { contract EchidnaFuzzHashing {
bool failedCrossDomainHashHighVersion; bool internal failedCrossDomainHashHighVersion;
bool failedCrossDomainHashV0; bool internal failedCrossDomainHashV0;
bool failedCrossDomainHashV1; bool internal failedCrossDomainHashV1;
/** /**
* @notice Takes the necessary parameters to perform a cross domain hash with a randomly * @notice Takes the necessary parameters to perform a cross domain hash with a randomly
......
...@@ -5,16 +5,16 @@ import { Arithmetic } from "../libraries/Arithmetic.sol"; ...@@ -5,16 +5,16 @@ import { Arithmetic } from "../libraries/Arithmetic.sol";
import { StdUtils } from "forge-std/Test.sol"; import { StdUtils } from "forge-std/Test.sol";
contract EchidnaFuzzResourceMetering is ResourceMetering, StdUtils { contract EchidnaFuzzResourceMetering is ResourceMetering, StdUtils {
bool failedMaxGasPerBlock; bool internal failedMaxGasPerBlock;
bool failedRaiseBaseFee; bool internal failedRaiseBaseFee;
bool failedLowerBaseFee; bool internal failedLowerBaseFee;
bool failedNeverBelowMinBaseFee; bool internal failedNeverBelowMinBaseFee;
bool failedMaxRaiseBaseFeePerBlock; bool internal failedMaxRaiseBaseFeePerBlock;
bool failedMaxLowerBaseFeePerBlock; bool internal failedMaxLowerBaseFeePerBlock;
// Used as a special flag for the purpose of identifying unchecked math errors specifically // Used as a special flag for the purpose of identifying unchecked math errors specifically
// in the test contracts, not the target contracts themselves. // in the test contracts, not the target contracts themselves.
bool underflow; bool internal underflow;
constructor() { constructor() {
initialize(); initialize();
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment