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

Update to OpenSMT interface #63

Closed blishko closed 5 years ago

blishko commented 5 years ago

OpenSMT is now available at GitHub, the link is updated in install_opensmt2.sh. The compatibility issues with gcc 4.8 have been resolved. .travis.yml has been cleaned.

coveralls commented 5 years ago

Coverage Status

Coverage increased (+0.008%) to 37.876% when pulling 12e63bbd6b35c6a2f92033212ae4b406908544d6 on blishko:osmt_iface into db527c20faca08391cbfa47cec2f3b195ccba9e0 on SRI-CSL:opensmt2.