https://github.com/mupq/pqm4
Tip revision: 7f05252b1b093ce317d62d8798323b3f801c43e1 authored by Richard Petri on 16 January 2024, 22:34:10 UTC
Run only on push to master, and when PR review requested
Run only on push to master, and when PR review requested
Tip revision: 7f05252
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)