blob: 4fb18352a67dec6a990befed2cab182ef9561762 (
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
26
27
28
29
30
31
|
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Boogie;
namespace GPUVerify
{
class AsymmetricExpressionFinder : StandardVisitor
{
private bool found = false;
internal bool foundAsymmetricExpr()
{
return found;
}
public override Variable VisitVariable(Variable node)
{
if (node.TypedIdent.Name.Contains("_READ_HAS_OCCURRED") ||
node.TypedIdent.Name.Contains("_READ_OFFSET") ||
node.TypedIdent.Name.Contains("_WRITE_HAS_OCCURRED") ||
node.TypedIdent.Name.Contains("_WRITE_OFFSET"))
{
found = true;
}
return node;
}
}
}
|