created applyHarness

2021-12-01 10:08:06 -05:00
parent 749738f2aa
commit f3087407c6
235 changed files with 147 additions and 16337 deletions
--- a/certora/munged/mocks/CountersImpl.sol
+++ b/certora/munged/mocks/CountersImpl.sol
@ -1,27 +0,0 @@
-// SPDX-License-Identifier: MIT
-
-pragma solidity ^0.8.0;
-
-import "../utils/Counters.sol";
-
-contract CountersImpl {
-    using Counters for Counters.Counter;
-
-    Counters.Counter private _counter;
-
-    function current() public view returns (uint256) {
-        return _counter.current();
-    }
-
-    function increment() public {
-        _counter.increment();
-    }
-
-    function decrement() public {
-        _counter.decrement();
-    }
-
-    function reset() public {
-        _counter.reset();
-    }
-}