[SAL] SAL error message

Jelle Schuhmacher J.Schuhmacher at student.science.ru.nl
Tue Jul 28 08:27:47 PDT 2009


Dear list,

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
possibly indicate?

Thanks in advance.

Regards,
  Jelle
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bmc_octagon_3_1.err
Type: application/octet-stream
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 mailing list