diff --git a/gibbon-compiler/tests/BenchRunner.hs b/gibbon-compiler/tests/BenchRunner.hs index 72235c8b5..47adf3e26 100644 --- a/gibbon-compiler/tests/BenchRunner.hs +++ b/gibbon-compiler/tests/BenchRunner.hs @@ -76,7 +76,7 @@ bench_main :: TestConfig -> Tests -> IO () bench_main tc (Tests tests) = do putStrLn "Executing BenchRunner...\n" let benchmarks = filter (not . skip) $ filter isBenchmark tests - modesToBench = [Gibbon1, Gibbon2, Pointer, MPL] + modesToBench = [Gibbon1, Gibbon2, Pointer] -- Omit MPL for now results <- mapM (go modesToBench) benchmarks mc <- getHostname let csvs = map (\arg -> intercalate "," (mc:arg)) (concat results)