/* cc_opt = */ TRUE,
/* freestanding; = */ FALSE,
/* fp_model = */ fp_model_precise,
- /* vrfy = */ FIRM_VERIFICATION_ON,
+ /* verify = */ FIRM_VERIFICATION_ON,
/* check_all = */ FALSE,
/* lower = */ TRUE,
/* os_support = */ DEFAULT_OS,
/* clone_threshold = */ DEFAULT_CLONE_THRESHOLD,
/* inline_maxsize = */ 750,
/* inline_threshold= */ 0,
- /* vrfy_edges = */ FALSE,
+ /* verify_edges = */ FALSE,
/* grs_simd_opt = */ 0,
/* grs_create_pattern = */ 0,
/* spare_size = */ 128,
{ X("restrict"), &firm_opt.honor_restrict, 1, "firm: honor restrict keyword" },
{ X("no-restrict"), &firm_opt.honor_restrict, 1, "firm: restrict keyword is meaningless" },
{ X("no-lower"), &firm_opt.lower, 0, "firm: disable lowering" },
- { X("vrfy-off"), &firm_opt.vrfy, FIRM_VERIFICATION_OFF, "firm: disable node verification" },
- { X("vrfy-on"), &firm_opt.vrfy, FIRM_VERIFICATION_ON, "firm: enable node verification" },
- { X("vrfy-report"), &firm_opt.vrfy, FIRM_VERIFICATION_REPORT, "firm: node verification, report only" },
+ { X("verify-off"), &firm_opt.verify, FIRM_VERIFICATION_OFF, "firm: disable node verification" },
+ { X("verify-on"), &firm_opt.verify, FIRM_VERIFICATION_ON, "firm: enable node verification" },
+ { X("verify-report"), &firm_opt.verify, FIRM_VERIFICATION_REPORT, "firm: node verification, report only" },
{ X("check-all"), &firm_opt.check_all, 1, "firm: enable checking all Firm phases" },
{ X("no-check-all"), &firm_opt.check_all, 0, "firm: disable checking all Firm phases" },
- { X("vrfy-edges-on"), &firm_opt.vrfy_edges, 1, "firm: enable out edge verification" },
- { X("vrfy-edges-off"), &firm_opt.vrfy_edges, 0, "firm: disable out edge verification" },
+ { X("verify-edges-on"), &firm_opt.verify_edges, 1, "firm: enable out edge verification" },
+ { X("verify-edges-off"), &firm_opt.verify_edges, 0, "firm: disable out edge verification" },
/* dumping */
#if defined(_DEBUG) || defined(FIRM_DEBUG)