[acl2/acl2] d2cb87: [axe/jvm] Update formal-unit-tester scripts.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: d2cb879140cc45a158091c5d7d4430d762e4f98f
https://github.com/acl2/acl2/commit/d2cb879140cc45a158091c5d7d4430d762e4f98f
Author: Eric Smith <ews...@gmail.com>
Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M books/kestrel/axe/jvm/.gitignore
R books/kestrel/axe/jvm/formal-unit-tester.sh
R books/kestrel/axe/jvm/save-exec-for-fut.sh
A books/kestrel/axe/jvm/save-exec-for-tester.sh
A books/kestrel/axe/jvm/tester.sh

Log Message:
-----------
[axe/jvm] Update formal-unit-tester scripts.

Leftover files acl2-with-fut* can be safely deleted.



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications