Make set iteration order deterministic

Make the set class generic

1 files changed, 5 insertions, 3 deletions

diff --git a/Source/AIFramework/VariableMap/VariableMapLattice.cs b/Source/AIFramework/VariableMap/VariableMapLattice.cs
index b60d318b..172cef01 100644
--- a/Source/AIFramework/VariableMap/VariableMapLattice.cs
+++ b/Source/AIFramework/VariableMap/VariableMapLattice.cs
@@ -13,9 +13,11 @@ namespace Microsoft.AbstractInterpretationFramework {
   using Microsoft.AbstractInterpretationFramework.Collections;

 

   using Microsoft.Boogie;

-  using IMutableSet = Microsoft.Boogie.Set;

-  using HashSet = Microsoft.Boogie.Set;

-  using ISet = Microsoft.Boogie.Set;

+

+  using IMutableSet = Microsoft.Boogie.GSet<object>;

+  using ISet = Microsoft.Boogie.GSet<object>;

+  using Set = Microsoft.Boogie.GSet<object>;

+  using HashSet = Microsoft.Boogie.GSet<object>;

 

   /// <summary>

   ///  Creates a lattice that works for several variables given a MicroLattice.  Assumes