Timestamp:
Apr 12, 2023, 6:32:46 PM (14 months ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
ADT, ast-experimental, master
Children:
32d6fdc
Parents:
eb8d791
Message:

Update macros in main. DUMP is now a macro to save space/noise and the PASS macro now runs checkInvariants afterwards if --invariant is on.

(No files)

Note: See TracChangeset for help on using the changeset viewer.