search

SRI-CSL / sally

A model checker for infinite-state systems.
http://sri-csl.github.io/sally/
GNU General Public License v2.0
69 stars 12 forks source link

mcsat interpolation #67

Closed dddejan closed 4 years ago

dddejan commented 4 years ago

allow usage of native interpolation from yices2

coveralls commented 4 years ago

Coverage Status

Coverage increased (+0.2%) to 38.25% when pulling 54893be37b9817f583fffa2510ff6eda46b3472d on mcsat-interpolation into 7687d50421afaf565e9f708be4ee7bc4ed2e1f27 on master.