Reporting Bug

To report a bug, send an e-mail to yices-bugs@csl.sri.com.

Please, make sure you give enough information in your bug report to enable us to reproduce and fix the problem:

• Tell us which version of Yices you're using (including which operating system)
• Try to send us an example input that causes the problem

Last modified: Thu 20 Oct 2011 19:19 PDT