Skip to main content

Browse the archive

https://github.com/mupq/pqm4
08 November 2022, 06:33:20 UTC
Revision dd83f4831e2452d0534b914c23080f21c88f46b7 authored by Richard Petri on 20 July 2022, 07:54:20 UTC, committed by Richard Petri on 20 July 2022, 07:55:27 UTC 
Use atexit to register the destructor for gcc11
1 parent 26f810d
Raw File
Tip revision: dd83f4831e2452d0534b914c23080f21c88f46b7 authored by Richard Petri on 20 July 2022, 07:54:20 UTC
Use atexit to register the destructor for gcc11
Tip revision: dd83f48
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