INNER CODE UNIT · Python

print_sanity_report

crocs-muni/javacard-curated-list · scripts/process_curated_list.py:474

def print_sanity_report(entries, flagged):
    print(f"\n{len(flagged)}/{len(entries)} entries have issues:\n")
    for e in flagged:
        loc = e["subcategory"] or e["category"] or ""
        print(f"- [{e['name']}] (line {e['line_no']}, {loc})")
        print(f"  {e['link']}")
        for kind, detail in e["issues"]:
            print(f"    [{kind}] {detail}")
        print()


def write_sanity_report(entries, flagged):
    by_kind = {}
    for e in flagged:
        for kind, _ in e["issues"]:
            by_kind[kind] = by_kind.get(kind, 0) + 1

    lines = []

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…