jobs/acl2-verify.run


1
2
3
4
5
6
7

#!/usr/bin/env bash
set -euo pipefail

book="$(basename "$path")"
echo "--- acl2 verify: $book ---"
acl2 <<< "(CERTIFY-BOOK \"$book\")"
test -f "$book".cert