swh:1:snp:969bddd71827b1645c03d92ea3ff74bed06d69c1
Tip revision: 2c48508775aec0b519f87053877529a574d7150b authored by Richard Petri on 27 March 2024, 14:10:26 UTC
Merge pull request #337 from mupq/moreci
Merge pull request #337 from mupq/moreci
Tip revision: 2c48508
test.py
#!/usr/bin/env python3
# SPDX-License-Identifier: Apache-2.0 or CC0-1.0
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)