Revision 6ba5207a16625f65266cb903a9c9f1b140ef6e67 authored by Markku-Juhani O. Saarinen on 15 November 2019, 12:34:27 UTC, committed by Matthias J. Kannwischer on 15 November 2019, 12:34:27 UTC
* len and flag were flipped * apply same fix to mupq
1 parent 670ec38
convert_benchmarks.py
#!/usr/bin/env python3
import sys
from mupq import mupq
def usage():
print("Usage: python3 convert_benchmarks.py csv|md")
sys.exit(1)
if __name__ == "__main__":
if len(sys.argv) != 2:
usage()
if sys.argv[1] == "csv":
converter = mupq.CsvConverter()
elif sys.argv[1] == "md":
converter = mupq.MarkdownConverter()
else:
usage()
converter.convert()
Computing file changes ...