Loading benchmarks/pp-print/src/PopulationProtocol.hs +1 −1 Original line number Original line Diff line number Diff line Loading @@ -281,7 +281,7 @@ createModuloProtocol n c = PopulationProtocol { states = [Mod i | i <- [0..(n-1) modPredicate = "( " ++ modPredicate = "( " ++ (intercalate " + " [ show i ++ " * " ++ toVar (Mod i) | i <- [0..(n-1)] ]) ++ (intercalate " + " [ show i ++ " * " ++ toVar (Mod i) | i <- [0..(n-1)] ]) ++ " ) % " ++ show n ++ " = " ++ show c " ) =% " ++ show n ++ " " ++ show c createMajorityProtocol :: MajorityProtocol createMajorityProtocol :: MajorityProtocol Loading Loading
benchmarks/pp-print/src/PopulationProtocol.hs +1 −1 Original line number Original line Diff line number Diff line Loading @@ -281,7 +281,7 @@ createModuloProtocol n c = PopulationProtocol { states = [Mod i | i <- [0..(n-1) modPredicate = "( " ++ modPredicate = "( " ++ (intercalate " + " [ show i ++ " * " ++ toVar (Mod i) | i <- [0..(n-1)] ]) ++ (intercalate " + " [ show i ++ " * " ++ toVar (Mod i) | i <- [0..(n-1)] ]) ++ " ) % " ++ show n ++ " = " ++ show c " ) =% " ++ show n ++ " " ++ show c createMajorityProtocol :: MajorityProtocol createMajorityProtocol :: MajorityProtocol Loading
