diff options
| author | Joshua Bakita <jbakita@cs.unc.edu> | 2021-03-09 19:35:53 -0500 |
|---|---|---|
| committer | Joshua Bakita <jbakita@cs.unc.edu> | 2021-03-09 19:35:53 -0500 |
| commit | 0c2be2d9e3de91ab0a06ef6bbf9ef5d4328b8181 (patch) | |
| tree | 0b75cbd541eabeedffb758fc55c010305472e8a4 /smt_analysis/computeSMTslowdown.py | |
| parent | bb76227aaea6ba99b3512ffbd228e699c87beb9e (diff) | |
Analysis Scripts: Cut deceptive help text and clean computeLCslowdown.py output
Diffstat (limited to 'smt_analysis/computeSMTslowdown.py')
| -rwxr-xr-x | smt_analysis/computeSMTslowdown.py | 2 |
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 * | |||
| 11 | def print_usage(): | 11 | def 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 |
| 17 | if len(sys.argv) < 3: | 17 | if len(sys.argv) < 3: |
