Test DSE examples with several strategies

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):