Closed 0152la closed 3 years ago
Achieved the following additional coverage: terms/mpq_aux.h: mpq_is_nonpos() rationals.h: q_is_nonpos() term_manager.c: mk_arith_opposite() term_utils.c: arith_term_is_nonpos() - case ARITH_CONSTANT
Achieved the following additional coverage: terms/mpq_aux.h: mpq_is_nonpos() rationals.h: q_is_nonpos() term_manager.c: mk_arith_opposite() term_utils.c: arith_term_is_nonpos() - case ARITH_CONSTANT