From 263456116dde88c961900c88dc4da96b72deeb06 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 2 Jan 2015 19:05:40 +0000 Subject: [PATCH] Added fpa2bv_rewriter_params Signed-off-by: Christoph M. Wintersteiger --- src/ast/fpa/fpa2bv_rewriter_params.pyg | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 src/ast/fpa/fpa2bv_rewriter_params.pyg diff --git a/src/ast/fpa/fpa2bv_rewriter_params.pyg b/src/ast/fpa/fpa2bv_rewriter_params.pyg new file mode 100644 index 000000000..42df0fa0e --- /dev/null +++ b/src/ast/fpa/fpa2bv_rewriter_params.pyg @@ -0,0 +1,5 @@ +def_module_params(module_name='rewriter', + class_name='fpa2bv_rewriter_params', + export=True, + params=(("hi_fp_unspecified", BOOL, True, "use the 'hardware interpretation' for unspecified values in fp.to_ubv, fp.to_sbv, and fp.to_real)"), + ))