SMT_UNPARKING_POLICY_LP_SEQUENTIAL top-level constant

int const SMT_UNPARKING_POLICY_LP_SEQUENTIAL

Implementation

const int SMT_UNPARKING_POLICY_LP_SEQUENTIAL = 3;