search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
360 stars 45 forks source link

Rm scratch folder compilation #475

Closed ahmed-irfan closed 7 months ago

ahmed-irfan commented 8 months ago

Towards enabling Werror flag for compilation. (https://github.com/SRI-CSL/yices2/pull/473)

The code in the scratch folder is not used. It is an experimental code. The code has some warnings. This PR removes the code from the compilation scripts.

coveralls commented 8 months ago

Coverage Status

coverage: 65.069%. remained the same when pulling dfe48b04b150ff922c34b36c4da5f4c4dafc357c on rm-scratch-compilation into 827cd9cb39f5334521a04800f27de59085f7e86d on master.