Changeset 52f9804 for src/Common

Timestamp:

Apr 12, 2023, 6:32:46 PM (3 years 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)