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

Extensions to use SMT modulo models and interpolation from latest Yices2 #68

Closed dddejan closed 3 years ago

coveralls commented 3 years ago

Coverage Status

Coverage decreased (-0.5%) to 37.066% when pulling 7a0041d874176551dba1a1422816e4fb97e728c3 on nra into 9a8ec54ba526d41dfdb5dfaa366055e8ac47cae1 on master.