Constant boolector_sys::BTOR_OPT_SLS_MOVE_INC_MOVE_TEST

source · 
pub const BTOR_OPT_SLS_MOVE_INC_MOVE_TEST: BtorOption = 49;