diff options
author | 2012-09-17 14:27:55 +0200 | |
---|---|---|
committer | 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()
+ {
+
+ }
}
}
|