LTP_PC_SMT top-level constant

int const LTP_PC_SMT

Implementation

const int LTP_PC_SMT = 1;