diff options
Diffstat (limited to 'dis/gen_input.py')
| -rwxr-xr-x | dis/gen_input.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dis/gen_input.py b/dis/gen_input.py index 67ee316..3698e88 100755 --- a/dis/gen_input.py +++ b/dis/gen_input.py | |||
| @@ -106,8 +106,8 @@ with open(sys.argv[2], "r") as template: | |||
| 106 | # We expect the initialization params to all be on the first line | 106 | # We expect the initialization params to all be on the first line |
| 107 | params = template.readline().split() | 107 | params = template.readline().split() |
| 108 | mutated_params = BENCH_TO_PARAMS[benchmark_name](params, wss); | 108 | mutated_params = BENCH_TO_PARAMS[benchmark_name](params, wss); |
| 109 | print(" ".join(map(lambda x: str(x), mutated_params))) | ||
| 110 | print("Using", " ".join(map(lambda x: str(x), mutated_params)), "for", benchmark_name, "stressmark", file=sys.stderr) | 109 | print("Using", " ".join(map(lambda x: str(x), mutated_params)), "for", benchmark_name, "stressmark", file=sys.stderr) |
| 110 | print(" ".join(map(lambda x: str(x), mutated_params))) | ||
| 111 | if benchmark_name == "pointer": | 111 | if benchmark_name == "pointer": |
| 112 | # Clone the data format used in the template | 112 | # Clone the data format used in the template |
| 113 | for i in range(0,10): | 113 | for i in range(0,10): |