From a80b28fe12dffdd75ce3eb88302292ed4358eae6 Mon Sep 17 00:00:00 2001 From: Bram Vandenbogaerde Date: Fri, 27 Dec 2024 18:18:58 +0100 Subject: [PATCH] fix(ase): syntax error --- analyses/simpleactor/app/ASE/Benchmark.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/analyses/simpleactor/app/ASE/Benchmark.hs b/analyses/simpleactor/app/ASE/Benchmark.hs index 18a2d2a..27ee611 100644 --- a/analyses/simpleactor/app/ASE/Benchmark.hs +++ b/analyses/simpleactor/app/ASE/Benchmark.hs @@ -147,7 +147,7 @@ instance Common.IsAnalysisResult AnalysisResult where analysisConfigurations :: [(String, Exp -> IO AnalysisResult)] analysisConfigurations = concatMap (\k -> [ --("smallstep;" ++ show k, fmap AnalysisResult . SmallStep.analyze k), - ("widened per state;" ++ show k, fmap AnalysisResult . SmallStepWidened.analyze k), + ("widened per state;" ++ show k, fmap AnalysisResult . SmallStepWidened.analyze k) --("global widening;"++show k, fmap AnalysisResult . SmallStepWidened.analyzeGlobal k) ]) [1..5]