Added generation of invariants to restrict source location to sensible values.

Refactored Make...Variable() and FindOrCreate...Variable() functions to take
a variable name as a parameter rather than the variable itself.

1 files changed, 4 insertions, 0 deletions

diff --git a/Source/GPUVerify/NullRaceInstrumenter.cs b/Source/GPUVerify/NullRaceInstrumenter.cs
index 458481a0..0d0ee41d 100644
--- a/Source/GPUVerify/NullRaceInstrumenter.cs
+++ b/Source/GPUVerify/NullRaceInstrumenter.cs
@@ -43,6 +43,10 @@ namespace GPUVerify
         {

 

         }

+        public void AddSourceLocationLoopInvariants(Implementation impl, IRegion region)

+        {

+

+        }

 

     }

 }