Searched refs:DiffThresholdString (Results 1 – 2 of 2) sorted by relevance
296 DiffThresholdString{Options.get("DiffThreshold", "0.001")} { in UseStdNumbersCheck()297 if (DiffThresholdString.getAsDouble(DiffThreshold)) {300 << DiffThresholdString;447 Options.store(Opts, "DiffThreshold", DiffThresholdString); in storeOptions()
43 StringRef DiffThresholdString; variable