Update weq term rep - Githubissues

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

363 stars 45 forks source link

Update weq term rep #429

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago

updates the get_term_rep method -- needed for interpreted indices.

Order array terms for check the conflicts

array-solver-calls stats

coveralls commented 1 year ago

Coverage: 64.235% (+0.01%) from 64.222% when pulling 306f1bb18273577cca88bb368100b6d6c0d1c254 on update-weq-term-rep into fac8d7cd50717bcb7daa8494999c04e2ef16249a on master.