[SAL-HELP] sal-path-explorer help

[r.venky at tcs.com]

Hi,

When we run sal-path-explorer we get the following message

unbound variable -- sal-esmc/simulate

What are we doing wrong?

Thanks for the help.

Venky

R Venkatesh
Tata Consultancy Services
Ph:- +91 20 66086304
Mailto: r.venky at tcs.com
Website: http://www.tcs.com



John Rushby <rushby at csl.sri.com> 
10/18/2006 05:54 AM

To
r.venky at tcs.com
cc
John Rushby <rushby at csl.sri.com>, sal-help at csl.sri.com, John Rushby 
<rushby at csl.sri.com>
Subject
Re: [SAL-HELP] Re: SAL crashes






Hello again Venky,

Thanks for the SAL file PremiumMatching.sal.  However, it requires
other SAL files for the definitions of primitiveType!REQNZINTEGER,
FinMvmtSet!elemType, FinMvmtSet!Set, PremiumMatching1TupleSet!Set, and
for boolset and arrayset.  Can you send these as well, please.
(Perhaps you could create a self-contained directory that is
acceptable to sal-wfc, then send it to me as a tar file).

Thanks,
John

ForwardSourceID:NT0003B08A 
=====-----=====-----=====
Notice: The information contained in this e-mail
message and/or attachments to it may contain 
confidential or privileged information. If you are 
not the intended recipient, any dissemination, use, 
review, distribution, printing or copying of the 
information contained in this e-mail message 
and/or attachments to it are strictly prohibited. If 
you have received this communication in error, 
please notify us by reply e-mail or telephone and 
immediately and permanently delete the message 
and any attachments. Thank you


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.csl.sri.com/pipermail/sal-help/attachments/20061103/683c7b18/attachment.html