Skip to content

Commit 15d1d75

Browse files
committed
undo induced failure
1 parent 18c10f7 commit 15d1d75

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

toolchain/mfc/bench.py

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -56,11 +56,11 @@ def bench(targets = None):
5656

5757
with open(log_filepath, "w") as log_file:
5858
system(
59-
["./mfc.sh", "run", case.path] +
59+
["./mfc.sh", "run", case.path, "--case-optimization"] +
6060
["--targets"] + [t.name for t in targets] +
6161
["--output-summary", summary_filepath] +
6262
case.args +
63-
["--", "--gbpp", 0.5],
63+
["--", "--gbpp", ARG('mem')],
6464
stdout=log_file,
6565
stderr=subprocess.STDOUT)
6666

@@ -148,4 +148,4 @@ def diff():
148148

149149
cons.raw.print(table)
150150
if err:
151-
raise MFCException("Benchmarking failed")
151+
raise MFCException("Benchmarking failed")

0 commit comments

Comments
 (0)