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

Method dumpPTData

svf/include/MemoryModel/MutablePointsToDS.h:294–297  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

292 }
293
294 virtual inline void dumpPTData() override
295 {
296 mutPTData.dumpPTData();
297 }
298
299 virtual inline const DataSet &getDiffPts(Key &var) override
300 {

Callers

nothing calls this directly

Calls 1

dumpPTDataMethod · 0.45

Tested by

no test coverage detected