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 - uf_plugin #374

Closed 0152la closed 3 years ago

0152la commented 3 years ago

Following up from the previous coverage experiments we've done, we were able to produce tests to augment the coverage of the existing test suite + existing coverage API tests. Additional achieved coverage can be seen in the preamble of the submitted test case.