MCPcopy Create free account
hub / github.com/SVF-tools/SVF / dumpPTData

Method dumpPTData

svf/include/MemoryModel/MutablePointsToDS.h:112–115  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

110 }
111
112 virtual inline void dumpPTData() override
113 {
114 dumpPts(ptsMap);
115 }
116
117 virtual void clearPts(const Key& var, const Data& element) override
118 {

Callers 5

dumpCPtsMethod · 0.45
dumpCPtsMethod · 0.45
dumpPTDataMethod · 0.45
dumpPTDataMethod · 0.45
dumpPTDataMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected