Esempio n. 1
0
 private bool InstantiationExprIsThreadId()
 {
     return((InstantiationExpr is IdentifierExpr) &&
            ((IdentifierExpr)InstantiationExpr).Decl.Name.Equals(GPUVerifier.MakeThreadId("X", Thread).Name));
 }