diff options
Diffstat (limited to 'test/test_all.py')
| -rwxr-xr-x | test/test_all.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/test_all.py b/test/test_all.py index 9b3f2dc1..633798f0 100755 --- a/test/test_all.py +++ b/test/test_all.py @@ -585,6 +585,17 @@ for options, nb_sol, tag in [([], 4, []), depends=[test_x86_32_if_reg], tags=tag) +dse_crackme_out = Example.get_sample("dse_crackme.c")[:-2] +dse_crackme = ExampleSymbolExec([Example.get_sample("dse_crackme.c"), + "-o", dse_crackme_out], + products=[dse_crackme_out], + executable="cc") +testset += dse_crackme +testset += ExampleSymbolExec(["dse_crackme.py", dse_crackme_out], + depends=[dse_crackme], + products=["test.txt"], + tags=[TAGS["z3"]]) + ## Jitter class ExampleJitter(Example): """Jitter examples specificities: |