text: // Copyright (c) Prevail Verifier contributors.
  // SPDX-License-Identifier: MIT
  #include "config.hpp"
  #include "platform.hpp"
  
  const ebpf_verifier_options_t ebpf_verifier_default_options = {.check_termination = false,
                                                                 .assume_assertions = false,
                                                                 .print_invariants = false,
                                                                 .print_failures = false,
                                                                 .no_simplify = false,
                                                                 .abstract_domain = abstract_domain_kind::EBPF_DOMAIN,
                                                                 .mock_map_fds = true,
                                                                 .strict = false};
  