benchmarks/lean-harness.bash


1
2
3
4
5
6
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