btor bmc tests failing on ubuntu 15.10

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

Closed dddejan closed 8 years ago

dddejan commented 8 years ago

dddejan commented 8 years ago

fixed in ccdc1e4