Commit 645eecf4 authored by Maurelian's avatar Maurelian

ctb: Prevent echidna calling fallback and initialize

parent a2166dca
...@@ -14,7 +14,7 @@ contract EchidnaFuzzResourceMetering is ResourceMetering { ...@@ -14,7 +14,7 @@ contract EchidnaFuzzResourceMetering is ResourceMetering {
initialize(); initialize();
} }
function initialize() public initializer { function initialize() internal initializer {
__ResourceMetering_init(); __ResourceMetering_init();
} }
......
...@@ -4,3 +4,6 @@ format: text ...@@ -4,3 +4,6 @@ format: text
# Set the timeout to 3 minutes to keep CI from getting too long. # Set the timeout to 3 minutes to keep CI from getting too long.
# The tool also adds 2 or 3 minutes before/after the actual timeout window. # The tool also adds 2 or 3 minutes before/after the actual timeout window.
timeout: 180 timeout: 180
# Prevent calls to the (non-existent) fallback function of EchidnaFuzzResourceMetering
filterFunctions: [EchidnaFuzzResourceMetering.*fallback*()]
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