diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2023-04-23 21:03:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-23 21:03:15 +0200 |
| commit | 20aff863fa196e0886f69e26315dc268e1b31f18 (patch) | |
| tree | 2406b50f4454ec1c755c8d43e2553865c42e64be /test/test_all.py | |
| parent | b4569e454eb085958f37acd739f680cca76c6028 (diff) | |
| parent | 17552f09b91acd44dbc03cce1d8d2f94c20af3d9 (diff) | |
| download | miasm-20aff863fa196e0886f69e26315dc268e1b31f18.tar.gz miasm-20aff863fa196e0886f69e26315dc268e1b31f18.zip | |
Merge pull request #1446 from cea-sec/example-symbexec
Example: add a basic symbol_exec example
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", |