Ejemplos de GPUVerifier.MakeThreadId en C# (CSharp)

Ejemplo n.º 1

Archivo: KernelDualiser.cs Proyecto: Robinping/gpuverify

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