aboutsummaryrefslogtreecommitdiff
path: root/jobs/sicp-acl2.run
blob: 0f6bf6c4133854fc9d97d0e0e878e8f38c2c705b (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
#!/usr/bin/env bash
set -euo pipefail

echo
for path in $(find -type f -name '*.lisp'); do
    printf "%s\n    " "${path#./}"
    laminarc run acl2-verify path="$(pwd)/$path"
    echo
done

echo 'Verified all files!'