From 8d62de40da3ed5c9d87f0067f0315a89336759c9 Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Wed, 8 May 2024 15:44:33 +0200 Subject: [PATCH] Fix support for empty call --- fuzz_utils/generate/fuzzers/Echidna.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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, "")