From d88b4409f0398093dea0f306cb267e7f24011062 Mon Sep 17 00:00:00 2001 From: Brian Potchik Date: Fri, 1 Mar 2024 09:02:40 -0500 Subject: Fix some analysis settings. --- suite/generator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- cgit v1.3.1