#!/bin/sh

for path in $(find -type f -name '*.lisp'); do
    laminarc start acl2-verify path="$path"
done