Running the Barrier-Invariants GPUVerify tool chain
===================================================

***Make sure this directory is not on a network drive.***

Add the gpuverify toolchain to your path by running either
 - setpath.cmd if using cmd.exe or
 - setpath.ps1 if using powershell.

See the README.txt files inside each directory of experiments/
