diff options
| author |  Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-17 14:27:55 +0200 |
|---|---|---|
| committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-17 14:27:55 +0200 |
| commit | 4caadb8ea8d1b3be2ace9bfbf70ddf32feb9bb9e (patch) | |
| tree | d36e64531d81cc702f37809098cd535ded586947 /Source/GPUVerify/NullRaceInstrumenter.cs | |
| parent | 9879c4ca35ea7f32c6e351e92b65a367970b011f (diff) | |
| parent | 4152ac13822af56309e102f9d5b54b37d7aca1ab (diff) | |
Merge
Diffstat (limited to 'Source/GPUVerify/NullRaceInstrumenter.cs')
| -rw-r--r-- | Source/GPUVerify/NullRaceInstrumenter.cs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Source/GPUVerify/NullRaceInstrumenter.cs b/Source/GPUVerify/NullRaceInstrumenter.cs index 0d0ee41d..60c28b5b 100644 --- a/Source/GPUVerify/NullRaceInstrumenter.cs +++ b/Source/GPUVerify/NullRaceInstrumenter.cs @@ -43,10 +43,20 @@ namespace GPUVerify {
}
+
public void AddSourceLocationLoopInvariants(Implementation impl, IRegion region)
{
}
+ public void AddStandardSourceVariablePreconditions()
+ {
+
+ }
+
+ public void AddStandardSourceVariablePostconditions()
+ {
+
+ }
}
}
|