From a44c62c18a8380c089764decdd4c533268b4ef30 Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Thu, 4 Apr 2019 12:31:21 -0500
Subject: Ignoring FP benchmarks with "unsafe" sizes unless option (#2931)

---
 src/options/fp_options.toml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/options/fp_options.toml')

diff --git a/src/options/fp_options.toml b/src/options/fp_options.toml
index eb8c933af..af8d044f7 100644
--- a/src/options/fp_options.toml
+++ b/src/options/fp_options.toml
@@ -1,3 +1,11 @@
 id     = "FP"
 name   = "Fp"
 header = "options/fp_options.h"
+
+[[option]]
+  name       = "fpExp"
+  category   = "regular"
+  long       = "fp-exp"
+  type       = "bool"
+  default    = "false"
+  help       = "Allow floating-point sorts of all sizes, rather than only Float32 (8/24) or Float64 (11/53) (experimental)"
-- 
cgit v1.2.3