diff options
| author | Brian Potchik <brian@vector35.com> | 2024-03-01 09:02:40 -0500 |
|---|---|---|
| committer | Brian Potchik <brian@vector35.com> | 2024-03-01 09:02:40 -0500 |
| commit | d88b4409f0398093dea0f306cb267e7f24011062 (patch) | |
| tree | 29036d4f128664ae672c7379afc157e28aa0ecfc | |
| parent | e31b137e9a20986a67b6b41ec937ac3d15ada176 (diff) | |
Fix some analysis settings.
| -rwxr-xr-x | suite/generator.py | 2 |
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) |
