Skip to content

Commit

Permalink
Merge pull request #226 from ericwb/add_precaution
Browse files Browse the repository at this point in the history
Add Precaution script to the supported tools
  • Loading branch information
davewichers committed May 6, 2024
2 parents 00bcf97 + 0ad9cdf commit b8b0853
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions scripts/runPrecaution.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
# To install Precaution CLI:
# pip install precli
#
# See also: https://precli.readthedocs.io/latest/
benchmark_version=$(scripts/getBenchmarkVersion.sh)
precli -r . --json -o results/Benchmark_$benchmark_version-Precaution.json

0 comments on commit b8b0853

Please sign in to comment.