Skip to content

Commit

Permalink
add short documentation to the test_parallel scripts
Browse files Browse the repository at this point in the history
  • Loading branch information
tomhea committed Oct 2, 2023
1 parent d687816 commit 3adbab7
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 0 deletions.
3 changes: 3 additions & 0 deletions test_parallel
Original file line number Diff line number Diff line change
@@ -1,4 +1,7 @@
#!/bin/bash
# This script executes the flipjump tests in parallel; first compiles the program, and then runs them.
# - Each phase is parallelized with the optimal number of threads.
# - Each phase is called with the given command-line arguments/flags.

pytest --compile -n auto "$@"
pytest --run -n auto "$@"
4 changes: 4 additions & 0 deletions test_parallel.bat
Original file line number Diff line number Diff line change
@@ -1,2 +1,6 @@
:: This script executes the flipjump tests in parallel; first compiles the program, and then runs them.
:: - Each phase is parallelized with the optimal number of threads.
:: - Each phase is called with the given command-line arguments/flags.

pytest --compile -n auto %*
pytest --run -n auto %*

0 comments on commit 3adbab7

Please sign in to comment.