diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-11-08 13:29:35 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-11-08 13:29:35 -0800 |
| commit | 688d3b7d65a7bd9bb3b49d464bee0cfccf17e12a (patch) | |
| tree | f66cb81e6d1b2474c9e95d2c5a742596f9a519d5 /Source/GPUVerify/GPUVerifier.cs | |
| parent | c6644a9a2fa34be7bbbfbd4fa7b63c23accb4296 (diff) | |
moved GPUVerify into its own solution
Diffstat (limited to 'Source/GPUVerify/GPUVerifier.cs')
| -rw-r--r-- | Source/GPUVerify/GPUVerifier.cs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/Source/GPUVerify/GPUVerifier.cs b/Source/GPUVerify/GPUVerifier.cs index 52e227f2..1aac817c 100644 --- a/Source/GPUVerify/GPUVerifier.cs +++ b/Source/GPUVerify/GPUVerifier.cs @@ -855,23 +855,21 @@ namespace GPUVerify return true;
}
-
-
public Microsoft.Boogie.Type GetTypeOfIdX()
{
- Contract.Requires(_X != null);
+ Contract.Assert(_X != null);
return _X.TypedIdent.Type;
}
public Microsoft.Boogie.Type GetTypeOfIdY()
{
- Contract.Requires(_Y != null);
+ Contract.Assert(_Y != null);
return _Y.TypedIdent.Type;
}
public Microsoft.Boogie.Type GetTypeOfIdZ()
{
- Contract.Requires(_Z != null);
+ Contract.Assert(_Z != null);
return _Z.TypedIdent.Type;
}
|