Source/GPUVerify/AsymmetricExpressionFinder.cs


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;
        }

    }
}