diff options
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): |