fix: display compilation error in benchmark

the checking of llvm expected was not correct
This commit is contained in:
rudy
2022-11-21 15:05:26 +01:00
committed by rudy-6-4
parent bb756a6426
commit de779b2f6f
3 changed files with 26 additions and 24 deletions

View File

@@ -16,9 +16,10 @@ namespace mlir {
namespace concretelang {
namespace optimizer {
constexpr double DEFAULT_P_ERROR = 1.0 / 100000.0;
constexpr double UNSPECIFIED_P_ERROR = NAN; // will use the default p error
constexpr double NO_GLOBAL_P_ERROR = NAN; // will fallback on p error
constexpr double DEFAULT_GLOBAL_P_ERROR = 1.0 / 100000.0;
constexpr double UNSPECIFIED_P_ERROR = NAN; // will use DEFAULT_GLOBAL_P_ERROR
constexpr double UNSPECIFIED_GLOBAL_P_ERROR =
NAN; // will use DEFAULT_GLOBAL_P_ERROR
constexpr uint DEFAULT_SECURITY = 128;
constexpr uint DEFAULT_FALLBACK_LOG_NORM_WOPPBS = 8;
constexpr bool DEFAULT_DISPLAY = false;
@@ -42,7 +43,7 @@ struct Config {
constexpr Config DEFAULT_CONFIG = {
UNSPECIFIED_P_ERROR,
NO_GLOBAL_P_ERROR,
UNSPECIFIED_GLOBAL_P_ERROR,
DEFAULT_DISPLAY,
DEFAULT_STRATEGY_V0,
DEFAULT_SECURITY,