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

Method SaberCheckerAPI

svf/include/SABER/SaberCheckerAPI.h:65–68  ·  view source on GitHub ↗

Constructor

Source from the content-addressed store, hash-verified

63
64 /// Constructor
65 SaberCheckerAPI ()
66 {
67 init();
68 }
69
70 /// Initialize the map
71 void init();

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected