From 1480cbb4b61b47cb040d41c3da8511c0ddf9a6ce Mon Sep 17 00:00:00 2001 From: Justus Adam Date: Sun, 21 Jul 2024 11:13:11 -0400 Subject: [PATCH] Separate tests for debugging --- Makefile.toml | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/Makefile.toml b/Makefile.toml index 6ff5dfcacf..711ffaede8 100644 --- a/Makefile.toml +++ b/Makefile.toml @@ -48,9 +48,19 @@ stage them and rerun the script until no more errors occur. dependencies = ["format-all", "clippy-all"] [tasks.cargo-tests] -description = "Tests discoverable to cargo" +dependencies = ["flowistry-tests", "paralegal-flow-tests", "policy-tests"] + +[tasks.flowistry-tests] +command = "cargo" +args = ["-pflowistry_pdg", "-pflowistry_pdg_construction"] + +[tasks.paralegal-flow-tests] +command = "cargo" +args = ["-pparalegal-flow", "-pparalegal-spdg"] + +[tasks.policy-tests] command = "cargo" -args = ["test"] +args = ["-pparalegal-policy"] [tasks.guide-project] description = "Build and run the policy from the guide."