Constant panda_sys::RR_skipped_call_kind_RR_CALL_MEM_REGION_CHANGE

source · 
pub const RR_skipped_call_kind_RR_CALL_MEM_REGION_CHANGE: RR_skipped_call_kind = 1;