Use stronger constraints for initial configuration

d3719a77 · Philipp Meyer · 612a3cfb · d3719a77
Commit d3719a77 authored May 16, 2017 by Philipp Meyer
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

src/Solver/StrongConsensus.hs src/Solver/StrongConsensus.hs +2 -1

No files found.
--- a/src/Solver/StrongConsensus.hs
+++ b/src/Solver/StrongConsensus.hs
@@ -46,7 +46,8 @@ terminalConstraints pp m =

 initialConfiguration :: PopulationProtocol -> SIMap State -> SBool
 initialConfiguration pp m0 =
-        sum (mval m0 (states pp \\ initialStates pp)) .== 0
+        (sum (mval m0 (initialStates pp)) .>= 2) &&&
+        (sum (mval m0 (states pp \\ initialStates pp)) .== 0)

 differentConsensusConstraints :: PopulationProtocol -> SIMap State -> SIMap State -> SBool
 differentConsensusConstraints pp m1 m2 =