svf-lib 1.0.762 → 1.0.763
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
Binary file
|
|
Binary file
|
|
@@ -113,12 +113,12 @@ public:
|
|
|
113
113
|
|
|
114
114
|
/// Set/Get methods of VFGNodes
|
|
115
115
|
///@{
|
|
116
|
-
inline void
|
|
116
|
+
inline void addSVFStmt(const SVFStmt *edge)
|
|
117
117
|
{
|
|
118
118
|
pagEdges.push_back(edge);
|
|
119
119
|
}
|
|
120
120
|
|
|
121
|
-
inline const SVFStmtList&
|
|
121
|
+
inline const SVFStmtList& getSVFStmts() const
|
|
122
122
|
{
|
|
123
123
|
return pagEdges;
|
|
124
124
|
}
|