https://github.com/mupq/pqm4
Revision bfd824803e28449102f2991ce9b2de51eb9c9c05 authored by rpls on 18 January 2024, 12:22:15 UTC, committed by GitHub on 18 January 2024, 12:22:15 UTC
Update for MiRitH
Tip revision: bfd824803e28449102f2991ce9b2de51eb9c9c05 authored by rpls on 18 January 2024, 12:22:15 UTC
Merge pull request #325 from mupq/mirith-fix
Merge pull request #325 from mupq/mirith-fix
Tip revision: bfd8248
testvectors.py
#!/usr/bin/env python3
from mupq import mupq
from interface import parse_arguments, get_platform
import sys
if __name__ == "__main__":
args, rest = parse_arguments()
platform, settings = get_platform(args)
with platform:
test = mupq.TestVectors(settings, platform)
if test.test_all(rest):
sys.exit(1)
Computing file changes ...