added {:aux} attribute to local variables

1 files changed, 0 insertions, 19 deletions

diff --git a/Source/Concurrency/YieldTypeChecker.cs b/Source/Concurrency/YieldTypeChecker.cs
index 6f356626..92ec7e1c 100644
--- a/Source/Concurrency/YieldTypeChecker.cs
+++ b/Source/Concurrency/YieldTypeChecker.cs
@@ -371,18 +371,6 @@ namespace Microsoft.Boogie
                     {

                         edgeLabels[edge] = 'Y';

                     }

-                    else if (cmd is AssumeCmd || cmd is AssignCmd || cmd is HavocCmd)

-                    {

-                        if (AccessesGlobals(cmd))

-                        {

-                            finalStates.Add(curr);

-                            initialStates.Add(next);

-                        }

-                        else

-                        {

-                            edgeLabels[edge] = 'P';

-                        }

-                    }

                     else

                     {

                         edgeLabels[edge] = 'P';

@@ -391,13 +379,6 @@ namespace Microsoft.Boogie
             }

         }

 

-        private static bool AccessesGlobals(Cmd cmd)

-        {

-            VariableCollector collector = new VariableCollector();

-            collector.Visit(cmd);

-            return collector.usedVars.Any(x => x is GlobalVariable);

-        }

-        

         private static string PrintGraph(Implementation yTypeChecked, Graph<int> graph, Dictionary<Tuple<int, int>, string> edgeLabels)

         {

             var s = new StringBuilder();