https://github.com/mupq/pqm4
Raw File
Tip revision: 2c48508775aec0b519f87053877529a574d7150b authored by Richard Petri on 27 March 2024, 14:10:26 UTC
Merge pull request #337 from mupq/moreci
Tip revision: 2c48508
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)
        test.test_all(rest)
back to top