File size: 1,063 Bytes
d69fc90 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 | #!/usr/bin/env python3
"""Phase 2: SBCL verification of macro expansions.
Usage: python3 scripts/verify_all.py [--tier tier1] [--library alexandria] [--max-calls 100]
"""
from __future__ import annotations
import sys
from pathlib import Path
sys.path.insert(0, str(Path(__file__).parent.parent / "src"))
from cl_macros.verif.batch_verifier import BatchVerifier
def main():
import argparse
ap = argparse.ArgumentParser()
ap.add_argument("--tier", default="tier1")
ap.add_argument("--library", default=None)
ap.add_argument("--max-calls", type=int, default=100)
args = ap.parse_args()
bv = BatchVerifier()
if args.library:
summary = bv.verify_library(args.library, args.max_calls)
print(f"\nDone: {summary}")
else:
manifest = bv.verify_all(args.tier, args.max_calls)
print(f"\n{'='*60}")
print("PHASE 2 COMPLETE")
print(f" Total verified: {manifest['total_verified']}")
print(f" Total failed: {manifest['total_failed']}")
if __name__ == "__main__":
main()
|