Skip to content

Commit

Permalink
Separate tests for debugging
Browse files Browse the repository at this point in the history
  • Loading branch information
JustusAdam committed Jul 21, 2024
1 parent 4b62cbf commit 1480cbb
Showing 1 changed file with 12 additions and 2 deletions.
14 changes: 12 additions & 2 deletions Makefile.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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."
Expand Down

0 comments on commit 1480cbb

Please sign in to comment.