diff options
| -rwxr-xr-x | suite/generator.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/suite/generator.py b/suite/generator.py index 7d42f847..8cc891f5 100755 --- a/suite/generator.py +++ b/suite/generator.py @@ -173,8 +173,8 @@ 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} + # binary_test_options provides the ability to test a binary with specific options e.g.: + #binary_test_options['binaries/test_corpus/pe_thumb'] = {'analysis.experimental.alternateTypePropagation' : True} def __init__(self, filename, outdir, test_store): self.filename = filename |
