PR feedback

Signed-off-by: Alan Jowett <[email protected]>
vbpf · Oct 24, 2024 · 998879b · 998879b
1 parent a6c9c2d
commit 998879b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/test/ebpf_yaml.cpp b/src/test/ebpf_yaml.cpp
@@ -179,6 +179,9 @@ static ebpf_verifier_options_t raw_options_to_options(const std::set<string>& ra
     // Default to the machine's native endianness.
     options.big_endian = (std::endian::native == std::endian::big);
 
+    // Default to not assuming assertions.
+    options.assume_assertions = false;
+
     for (const string& name : raw_options) {
         if (name == "!allow_division_by_zero") {
             options.allow_division_by_zero = false;