diff options
| author | Camille Mougey <camille.mougey@cea.fr> | 2015-01-09 17:56:54 +0100 |
|---|---|---|
| committer | Camille Mougey <camille.mougey@cea.fr> | 2015-01-23 17:24:42 +0100 |
| commit | d4606461786632e4771c7b16dcab2dbb01132ee1 (patch) | |
| tree | c4bbab118013bcbab751645615715286efd52a1e | |
| parent | 2694784814818ab61efcb5711a8bd2649532f014 (diff) | |
| download | miasm-d4606461786632e4771c7b16dcab2dbb01132ee1.tar.gz miasm-d4606461786632e4771c7b16dcab2dbb01132ee1.zip | |
Example: Rename symbol_exec to single_instr in a specific symbol_exec directory
| -rw-r--r-- | example/symbol_exec/single_instr.py (renamed from example/symbol_exec.py) | 0 | ||||
| -rw-r--r-- | test/test_all.py | 8 |
2 files changed, 5 insertions, 3 deletions
diff --git a/example/symbol_exec.py b/example/symbol_exec/single_instr.py index 416909f2..416909f2 100644 --- a/example/symbol_exec.py +++ b/example/symbol_exec/single_instr.py diff --git a/test/test_all.py b/test/test_all.py index aea5b885..f4df9967 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -162,8 +162,7 @@ testset += Example(["expression/solve_condition_stp.py", "expression/simple_test.bin"], products=["graph_instr.txt"]) -for script in [["symbol_exec.py"], - ["expression/basic_op.py"], +for script in [["expression/basic_op.py"], ["expression/basic_simplification.py"], ["expression/simplification_tools.py"], ["expression/expr_grapher.py"], @@ -172,8 +171,11 @@ for script in [["symbol_exec.py"], ["expression/expr_translate.py"], ]: testset += Example(script) -## Jitter +## Symbolic Execution +testset += Example(["symbol_exec/single_instr.py"]) + +## Jitter for jitter in ["tcc", "llvm", "python"]: # Take 5 min on a Core i5 tags = {"python": [TAGS["long"]], |