From d8030b6c75f638b92c1908d8b427299c2d0abe92 Mon Sep 17 00:00:00 2001
From: Rusty Wagner <rusty.wagner@gmail.com>
Date: Wed, 16 Dec 2020 21:45:31 -0500
Subject: Add API/UI to control dead store elimination of specific variables

---
 suite/generator.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'suite')

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
-- 
cgit v1.3.1