Add new API coverage test

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

370 stars 47 forks source link

Closed 0152la closed 3 years ago

0152la commented 3 years ago

Additional coverage: terms/rba_buffer_terms.c:rba_buffer_mul_term_power(), case POWER_PRODUCT