diff options
| -rwxr-xr-x | test/test_all.py | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/test/test_all.py b/test/test_all.py index 17193d9f..99b0094e 100755 --- a/test/test_all.py +++ b/test/test_all.py @@ -630,10 +630,16 @@ dse_crackme = ExampleSymbolExec([Example.get_sample("dse_crackme.c"), 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"]]) +for strategy in ["code-cov", "branch-cov", "path-cov"]: + testset += ExampleSymbolExec(["dse_crackme.py", dse_crackme_out, + "--strategy", strategy], + depends=[dse_crackme], + products=["test.txt"], + tags=[TAGS["z3"]]) + testset += ExampleSymbolExec(["dse_strategies.py", + Example.get_sample("simple_test.bin"), + strategy], + tags=[TAGS["z3"]]) ## Jitter class ExampleJitter(Example): |