From d96dc2f5b3a65a607b21f9c5c504831fbdf81346 Mon Sep 17 00:00:00 2001
From: Minseong Jang <minseong.jang@cp.kaist.ac.kr>
Date: Wed, 23 Feb 2022 23:06:19 +0900
Subject: [PATCH] Support float in fuzzer

---
 tests/fuzz.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/fuzz.py b/tests/fuzz.py
index 70820b8..500fcf2 100644
--- a/tests/fuzz.py
+++ b/tests/fuzz.py
@@ -42,6 +42,7 @@ REPLACE_DICT = {
     r"__asm__\s*\([^\)]*\)": "",    # asm extension in linux
     "typedef __builtin_va_list __gnuc_va_list;": "",
     "typedef __gnuc_va_list va_list;": "",
+    r"fabsf\(": "(",
     
     # todo: need to consider the case below in the future:
     # avoid compile-time constant expressed as complex expression such as `1 + 1`
@@ -108,6 +109,7 @@ def generate(tests_dir, bin_path):
         "--no-argc", "--no-arrays",
         "--no-jumps", "--no-pointers",
         "--no-structs", "--no-unions",
+        "--float", "--strict-float",
     ]
     args = [bin_path] + options