diff --git a/fuzz_utils/generate/fuzzers/Echidna.py b/fuzz_utils/generate/fuzzers/Echidna.py index 9c25e09..f74af47 100644 --- a/fuzz_utils/generate/fuzzers/Echidna.py +++ b/fuzz_utils/generate/fuzzers/Echidna.py @@ -79,7 +79,7 @@ def _parse_call_object(self, call_dict: dict[Any, Any]) -> tuple[str, str]: caller = call_dict["src"] if call_dict["call"]["tag"] == "NoCall": - template = jinja2.Template(templates["EMPTY"]) + template = jinja2.Template(templates["EMPTY_CALL"]) call_str = template.render(time_delay=time_delay, block_delay=block_delay) return (call_str, "")