[SAL] Command issues for adder example

[harry huang]

Hi Leonardo,

Thanks. It works.

harry

>From: Leonardo de Moura <demoura at csl.sri.com>
>To: "harry huang" <harryh23 at hotmail.com>
>CC: sal at csl.sri.com
>Subject: Re: [SAL] Command issues for adder example
>Date: Wed, 21 Jun 2006 08:22:22 -0700
>
>Hi Harry,
>
>You are probably using tcsh or csh. You should use a `\` before the `!`.
>
>sal-path-finder -v 3 --module='adder{;5}\!Nbitadder
>
>Cheers,
>Leonardo
>
>
>On Jun 20, 2006, at 11:59 AM, harry huang wrote:
>
>>Hi,
>>
>>I am running the example -- adder in the examples/adder folder in  the SAL 
>>directory. The README in that example says "sal-path-finder  -v 3 
>>--module='adder{;5}!Nbitadder'" to generate an execution trace  up to 
>>depth 10, for a 5-bit adder. But when I issue that command,  there is 
>>error mesaage in below:
>>
>>"Nbitadder: Event not found."
>>
>>Can someone give me suggestions ?
>>
>>Haeey
>>
>