From f505c5c6097a6df1751b9ff65de6ca44ae770744 Mon Sep 17 00:00:00 2001 From: jazullo Date: Wed, 11 Oct 2023 11:45:42 +0000 Subject: [PATCH] Remove MPL from CI tests for now --- gibbon-compiler/tests/BenchRunner.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)