diff options
Diffstat (limited to 'benchmarks/rego-harness.bash')
| -rw-r--r-- | benchmarks/rego-harness.bash | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/benchmarks/rego-harness.bash b/benchmarks/rego-harness.bash new file mode 100644 index 0000000..48dbc5d --- /dev/null +++ b/benchmarks/rego-harness.bash @@ -0,0 +1,12 @@ +#!/usr/bin/env bash + +NAME="$(basename $1)" +if [ $NAME = "IIA001" ]; then + NAME="iia1" +elif [ $NAME = "IIA003" ]; then + NAME="iia003" +elif [ $NAME = "IIA006" ]; then + NAME="iia006" +fi + +opa eval -f raw --data rego/$NAME.rego -i rego/$NAME.json 'data.equivalence.allow' |