diff --git a/scripts/runPrecaution.sh b/scripts/runPrecaution.sh new file mode 100755 index 0000000000..6ce7d5afa8 --- /dev/null +++ b/scripts/runPrecaution.sh @@ -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