blob: bdd3939c633a74ec2af8a8cfaa033aaf5611aa51 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/usr/bin/env bash
set -euo pipefail
git clone https://git.tojo.tokyo/learn-acl2.git .
git checkout "${branch:-main}"
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!'
|
