diff options
Diffstat (limited to 'Source/GPUVerify/Predicator.cs')
-rw-r--r-- | Source/GPUVerify/Predicator.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/GPUVerify/Predicator.cs b/Source/GPUVerify/Predicator.cs index a4174cbb..e2af8185 100644 --- a/Source/GPUVerify/Predicator.cs +++ b/Source/GPUVerify/Predicator.cs @@ -143,6 +143,10 @@ namespace GPUVerify {
firstBigBlock.simpleCmds.Add(new AssertCmd(c.tok, Expr.Imp(IncomingPredicate, (c as AssertCmd).Expr)));
}
+ else if (c is AssumeCmd)
+ {
+ firstBigBlock.simpleCmds.Add(new AssumeCmd(c.tok, Expr.Imp(IncomingPredicate, (c as AssumeCmd).Expr)));
+ }
else
{
Debug.Assert(false);
|