LdVerifyOptions Struct Reference

#include <ld_verify.h>

Public Attributes
std::string	program_path
std::string	props_path
std::string	strategy
unsigned	bmc_unwind = 100
bool	fault_injection = false

Member Data Documentation

bmc_unwind

unsigned LdVerifyOptions::bmc_unwind = 100

fault_injection

bool LdVerifyOptions::fault_injection = false

program_path

std::string LdVerifyOptions::program_path

props_path

std::string LdVerifyOptions::props_path

strategy

std::string LdVerifyOptions::strategy

---

The documentation for this struct was generated from the following file:

• src/ld-frontend/verify/ld_verify.h