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