search

SRI-CSL / yices2

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

added missing error strings and array entries #479

Open Ovascos opened 7 months ago

Ovascos commented 7 months ago

Some strings and array elements were missing. Proper codes for the missing elements in tstack_error2yices_error need to be found.

coveralls commented 7 months ago

Coverage Status

coverage: 65.144%. remained the same when pulling ec8c9d62b8a9ac0659f8f3ddb6838f907a327c9c on Ovascos:fix-some-printing into 587bc838a03f43f89ac6a91d00e1a746dfa446fb on SRI-CSL:master.