Searched refs:recipientSrc (Results 1 – 1 of 1) sorted by relevance
175 std::string recipientSrc = fileContents(m_recipientFilename); in iterate() local182 render(recipientImg.getAccess(), vertexSrc, recipientSrc); in iterate()185 checkNondet(recipientImg, vertexSrc, recipientSrc); in iterate()