snk 3006 core/Verifier.cpp core->console << "E" << i << ": " << "B" << e->src << " --> " << "B" << e->snk << "\n"; snk 187 core/Verifier.h uint32_t snk; snk 188 core/Verifier.h Edge(uint32_t src, uint32_t snk);