[SAL] SAL error message
J.Schuhmacher at student.science.ru.nl
Tue Jul 28 08:27:47 PDT 2009
We're having some difficulties using sal-bmc on a model with parameters.
For some (but not all) values of the parameters sal-bmc stops with an
error message. I attached a log from a failed run in case it helps.
Does anyone know what kind of problem the messages "Error: slot
:flat-module not found in <primitive>" and "Error: Yices failed" could
Thanks in advance.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 3622 bytes
Desc: not available
Url : http://lists.csl.sri.com/pipermail/sal/attachments/20090728/0efe156e/bmc_octagon_3_1.obj
More information about the SAL