diff options
Diffstat (limited to 'test/test_all.py')
| -rwxr-xr-x | test/test_all.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/test_all.py b/test/test_all.py index 2d078bf1..591f3d8e 100755 --- a/test/test_all.py +++ b/test/test_all.py @@ -739,6 +739,7 @@ class ExampleSymbolExec(Example): testset += ExampleSymbolExec(["single_instr.py"]) +testset += ExampleSymbolExec(["symbol_exec.py", "--steps", Example.get_sample("box_upx.exe")]) for options, nb_sol, tag in [([], 8, []), (["-i", "--rename-args"], 12, [TAGS["z3"]])]: testset += ExampleSymbolExec(["depgraph.py", |