blob: 42ca5cc898cdea95633075432a418791a51f2c52 (
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 INonLocalState NonLocalState;
public AccessCollector(INonLocalState NonLocalState)
{
this.NonLocalState = NonLocalState;
}
protected void MultiDimensionalMapError()
{
Console.WriteLine("*** Error - multidimensional maps not supported in kernels, use nested maps instead");
Environment.Exit(1);
}
}
}
|