2
這是標題中的函數具有以下特徵:如何使用此功能Db.Slicing.Select.select_stmt與郵資-C
val select_stmt :
(set -> spare:bool -> Cil_types.stmt -> Cil_types.kernel_function -> set)
Pervasives.ref
我想使用這個功能,但我的問題是關於參數set
至少有一個類型type set = SlicingTypes.Fct_user_crit.t Cil_datatype.Varinfo.Map.t
。我不知道如何初始化這個參數,然後我想打印結果。如果有人能給我一個例子
謝謝。這正是我需要的 –