summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBrian Potchik <brian@vector35.com>2024-03-01 09:02:40 -0500
committerBrian Potchik <brian@vector35.com>2024-03-01 09:02:40 -0500
commitd88b4409f0398093dea0f306cb267e7f24011062 (patch)
tree29036d4f128664ae672c7379afc157e28aa0ecfc
parente31b137e9a20986a67b6b41ec937ac3d15ada176 (diff)
Fix some analysis settings.
-rwxr-xr-xsuite/generator.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/suite/generator.py b/suite/generator.py
index 66e703ed..9bb34ad3 100755
--- a/suite/generator.py
+++ b/suite/generator.py
@@ -386,7 +386,7 @@ def generate(test_store, outdir, exclude_binaries, config_settings=None):
config_settings_for_file = config_settings
if testfile_basename in ['pe_thumb']:
- config_settings_for_file = {**config_settings_for_file, **{'analysis.experimental.gratuitousFunctionUpdate': True}}
+ config_settings_for_file = {**config_settings_for_file, **{'analysis.gratuitousFunctionUpdate': True}}
# Now generate the oracle data
update_progress(progress, len(allfiles), oraclefile_rel)