diff options
| author | Jakob L. Kreuze | 2023-12-21 13:20:58 -0500 |
|---|---|---|
| committer | Jakob L. Kreuze | 2023-12-21 13:20:58 -0500 |
| commit | be7067d632aa665c20f96d3b344a84c95b0f8ff8 (patch) | |
| tree | fc5564a72cc42c8a21d3e943f645afcaae78f5a5 /benchmarks/lean-harness.bash | |
| parent | 5918f84a1a05881d93d9fab83104feca9981bfaa (diff) | |
Check-in remaining files
Diffstat (limited to 'benchmarks/lean-harness.bash')
| -rw-r--r-- | benchmarks/lean-harness.bash | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/benchmarks/lean-harness.bash b/benchmarks/lean-harness.bash new file mode 100644 index 0000000..e59b3da --- /dev/null +++ b/benchmarks/lean-harness.bash @@ -0,0 +1,7 @@ +#!/usr/bin/env bash + +COMPILE_REQUEST="../xacml-proofs/compiler/_build/default/bin/request.exe" +COMPILE_POLICY="../xacml-proofs/compiler/_build/default/bin/main.exe" + +cat Xacml.lean <($COMPILE_REQUEST $1/Request.xml) <($COMPILE_POLICY $1/Policy.xml) > /tmp/test.lean +lean /tmp/test.lean |