Add API/UI to control dead store elimination of specific variables

1 files changed, 1 insertions, 0 deletions

diff --git a/suite/generator.py b/suite/generator.py
index 63ae64ff..75a83ad6 100755
--- a/suite/generator.py
+++ b/suite/generator.py
@@ -174,6 +174,7 @@ class OracleTestFile:
 class UnitTestFile:
     binary_test_options = {}
     binary_test_options['binaries/test_corpus/pe_thumb'] = {'analysis.experimental.alternateTypePropagation' : True}
+    binary_test_options['binaries/test_corpus/quick3dcoreplugin.dll'] = {'analysis.experimental.alternateTypePropagation' : True}
 
     def __init__(self, filename, outdir, test_store):
         self.filename = filename