Add coverage API test - nra_plugin_explain_2

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

368 stars 46 forks source link

Add coverage API test - nra_plugin_explain_2 #375

Closed 0152la closed 3 years ago

0152la commented 3 years ago

Similar to #374 . This test manages to add one extra line of coverage for nra_plugin_explain.c compared to the existing API test with a similar name.