diff options
Diffstat (limited to 'src/options/fp_options.toml')
| -rw-r--r-- | src/options/fp_options.toml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/options/fp_options.toml b/src/options/fp_options.toml index 6fd632a7c..be40b49e2 100644 --- a/src/options/fp_options.toml +++ b/src/options/fp_options.toml @@ -8,3 +8,11 @@ name = "Floating-Point" type = "bool" default = "false" help = "Allow floating-point sorts of all sizes, rather than only Float32 (8/24) or Float64 (11/53) (experimental)" + +[[option]] + name = "fpLazyWb" + category = "experimental" + long = "fp-lazy-wb" + type = "bool" + default = "false" + help = "Enable lazier word-blasting (on preNotifyFact instead of registerTerm)" |