diff options
| author |  Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2011-11-21 08:55:35 +0000 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2011-11-21 08:55:35 +0000 |
| commit | 90dc2aab924b0404d8ff37e8d0184cf5af5e0b36 (patch) | |
| tree | 1be186cd4fcf23dc344a400cba4209b29be655ac /Source/GPUVerify/NullRaceInstrumenter.cs | |
| parent | abff937f2144b0ea68cc8936bb411d113bd1b687 (diff) | |
Generating useful, and guarateed by construction, postconditions and loop invariants for kenrel procedures.
Diffstat (limited to 'Source/GPUVerify/NullRaceInstrumenter.cs')
| -rw-r--r-- | Source/GPUVerify/NullRaceInstrumenter.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/GPUVerify/NullRaceInstrumenter.cs b/Source/GPUVerify/NullRaceInstrumenter.cs index 3958a94e..a825a2eb 100644 --- a/Source/GPUVerify/NullRaceInstrumenter.cs +++ b/Source/GPUVerify/NullRaceInstrumenter.cs @@ -19,7 +19,7 @@ namespace GPUVerify }
- public void CheckForRaces(IToken tok, BigBlock bb, Variable v)
+ public void CheckForRaces(IToken tok, BigBlock bb, Variable v, bool ReadWriteOnly)
{
}
|