Reinstated support for barrier flags.

1 files changed, 7 insertions, 0 deletions

diff --git a/Source/GPUVerify/CommandLineOptions.cs b/Source/GPUVerify/CommandLineOptions.cs
index 966f98eb..018917d5 100644
--- a/Source/GPUVerify/CommandLineOptions.cs
+++ b/Source/GPUVerify/CommandLineOptions.cs
@@ -44,6 +44,8 @@ namespace GPUVerify
 

         public static bool InterGroupRaceChecking = false;

 

+        public static bool BarrierParameters = false;

+

         public static int Parse(string[] args)

         {

             for (int i = 0; i < args.Length; i++)

@@ -191,6 +193,11 @@ namespace GPUVerify
                     InterGroupRaceChecking = true;

                     break;

 

+                    case "-barrierParameters":

+                    case "/barrierParameters":

+                    BarrierParameters = true;

+                    break;

+

                     default:

                         inputFiles.Add(args[i]);

                         break;