From 5d695d859ad0ca351e40f9f4d576c210543d6c58 Mon Sep 17 00:00:00 2001 From: Elazar Gershuni Date: Sun, 10 Nov 2024 21:23:57 +0200 Subject: [PATCH] fix simplify flag Signed-off-by: Elazar Gershuni --- src/main/check.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/check.cpp b/src/main/check.cpp index 81d224de1..f6874a99a 100644 --- a/src/main/check.cpp +++ b/src/main/check.cpp @@ -124,7 +124,7 @@ int main(int argc, char** argv) { ->expected(0, _conformance_groups.size()) ->check(CLI::IsMember(_get_conformance_group_names())); - app.add_flag("--simplify,!--no-simplify", ebpf_verifier_options.cfg_opts.simplify, + app.add_flag("--simplify,!--no-simplify", ebpf_verifier_options.simplify, "Simplify the CFG before analysis by merging chains of instructions into a single basic block. " "Default: enabled") ->group("Verbosity");