search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
370 stars 47 forks source link

Add additional coverage API test #376

Closed 0152la closed 3 years ago

0152la commented 3 years ago

Achieved the following additional coverage: terms/rationals.c: q_set64() - then branch q_smt2_div() - if (q_is_pos(y)) - else branch api/yices_api.c: yices_int64() _o_yices_int64()