diff options
| author | Camille Mougey <commial@gmail.com> | 2023-04-23 11:45:58 +0200 |
|---|---|---|
| committer | Camille Mougey <commial@gmail.com> | 2023-04-23 11:45:58 +0200 |
| commit | 41f3c6aca4f7874d6a154ead2e16871f4948cc21 (patch) | |
| tree | b99767a89314fcec11a49bdd8bf4137e82962927 /test | |
| parent | 00d4fd4b9e68fa744ed57b31044c5cf53f85293a (diff) | |
| download | focaccia-miasm-41f3c6aca4f7874d6a154ead2e16871f4948cc21.tar.gz focaccia-miasm-41f3c6aca4f7874d6a154ead2e16871f4948cc21.zip | |
Example: add a basic symbol_exec example
Diffstat (limited to 'test')
| -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", |