https://github.com/mupq/pqm4
Tip revision: 229b36bcf12b2c276afad4f1502a7216b693a72b authored by Matthias J. Kannwischer on 31 October 2024, 06:45:47 UTC
Add AIMer benchmarks (#366)
Add AIMer benchmarks (#366)
Tip revision: 229b36b
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)