diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2015-04-28 14:50:36 +0200 |
|---|---|---|
| committer | serpilliere <serpilliere@users.noreply.github.com> | 2015-04-28 14:50:36 +0200 |
| commit | 8969f53fbac8c9e0578ec05c244b3c944d3812e2 (patch) | |
| tree | fb7280233c61bfb789ec3bf2b4957c3e457ac878 /test/test_all.py | |
| parent | 4c16d4925c780242f99f693740a4eb6b34f7cf74 (diff) | |
| parent | 747d629b52764bda5fe3a24b5c193fa48cc97ebf (diff) | |
| download | miasm-8969f53fbac8c9e0578ec05c244b3c944d3812e2.tar.gz miasm-8969f53fbac8c9e0578ec05c244b3c944d3812e2.zip | |
Merge pull request #152 from commial/depgraph_z3
Depgraph z3
Diffstat (limited to 'test/test_all.py')
| -rw-r--r-- | test/test_all.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/test_all.py b/test/test_all.py index 07e1c509..df07aac5 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -321,15 +321,15 @@ class ExampleSymbolExec(Example): testset += ExampleSymbolExec(["single_instr.py"]) -for options, nb_sol in [([], 8), - (["-i"], 12)]: +for options, nb_sol, tag in [([], 8, []), + (["-i", "--rename-args"], 12, [TAGS["z3"]])]: testset += ExampleSymbolExec(["depgraph.py", Example.get_sample("simple_test.bin"), "-m", "x86_32", "0x0", "0x8b", "eax"] + options, products=["sol_%d.dot" % nb - for nb in xrange(nb_sol)]) - + for nb in xrange(nb_sol)], + tags=tag) ## Jitter class ExampleJitter(Example): |