also enable nra learning when using interpolation mode

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

360 stars 45 forks source link

also enable nra learning when using interpolation mode #509

Closed ahmed-irfan closed 2 months ago

coveralls commented 2 months ago

coverage: 65.672% (-0.006%) from 65.678% when pulling 0053b30d6be213d123b249d7d2aabed38cb63df9 on nra-learn-hint-next-decision into 3393fdab58187d1ad79ab1141392ed4381c27db6 on master.