summaryrefslogtreecommitdiffstats
path: root/smt_analysis/computeSMTslowdown.py
diff options
context:
space:
mode:
Diffstat (limited to 'smt_analysis/computeSMTslowdown.py')
-rwxr-xr-xsmt_analysis/computeSMTslowdown.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/smt_analysis/computeSMTslowdown.py b/smt_analysis/computeSMTslowdown.py
index ba9fa84..d612ea6 100755
--- a/smt_analysis/computeSMTslowdown.py
+++ b/smt_analysis/computeSMTslowdown.py
@@ -11,7 +11,7 @@ from libSMT import *
11def print_usage(): 11def print_usage():
12 print("This program takes in the all-pairs and baseline SMT data and computes how much each program is slowed when SMT in enabled.", file=sys.stderr) 12 print("This program takes in the all-pairs and baseline SMT data and computes how much each program is slowed when SMT in enabled.", file=sys.stderr)
13 print("Level-A/B usage: {} <file -A> <file -B> <baseline file> --cij".format(sys.argv[0]), file=sys.stderr) 13 print("Level-A/B usage: {} <file -A> <file -B> <baseline file> --cij".format(sys.argv[0]), file=sys.stderr)
14 print("Level-C usage: {} <continuous pairs> <baseline file>".format(sys.argv[0]), file=sys.stderr) 14# print("Level-C usage: {} <continuous pairs> <baseline file>".format(sys.argv[0]), file=sys.stderr)
15 15
16# Check that we got the right number of parameters 16# Check that we got the right number of parameters
17if len(sys.argv) < 3: 17if len(sys.argv) < 3: