Hi, I have a SAL module and want to call sal-bmc on it from some state other than the initial state. Is that possible? Please help. Thanks, Silky. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.csl.sri.com/pipermail/sal-help/attachments/20071113/fcd936f6/attachment.html