blob: 7debe82b40103646bb4f36e4276166c93d7618a1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Boogie;
namespace GPUVerify
{
abstract class AccessCollector : StandardVisitor
{
protected IKernelArrayInfo NonLocalState;
public AccessCollector(IKernelArrayInfo NonLocalState)
{
this.NonLocalState = NonLocalState;
}
protected void MultiDimensionalMapError()
{
Console.WriteLine("*** Error - multidimensional maps not supported in kernels, use nested maps instead");
Environment.Exit(1);
}
}
}
|