https://github.com/mupq/pqm4
Raw File
Tip revision: 8821d31bdf63967572f3239b991a5993ebc888ea authored by Richard Petri on 24 November 2023, 08:05:20 UTC
Add MiRitH
Tip revision: 8821d31
test.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.SimpleTest(settings, platform)
        if test.test_all(rest):
            sys.exit(1)
back to top