https://github.com/mupq/pqm4
Revision a525417134995302bb5013dd112dec65cdb28ca9 authored by Matthias J. Kannwischer on 25 May 2023, 07:38:14 UTC, committed by Matthias J. Kannwischer on 25 May 2023, 07:38:14 UTC
1 parent 1eeb74e
Tip revision: a525417134995302bb5013dd112dec65cdb28ca9 authored by Matthias J. Kannwischer on 25 May 2023, 07:38:14 UTC
add aes-publicinputs for code on the host
add aes-publicinputs for code on the host
Tip revision: a525417
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)
Computing file changes ...