[SAL-HELP] sal-path-explorer help

[Bruno Dutertre]

r.venky at tcs.com wrote:
> 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
> 

Hi Venky,

The issue seems to be that sal-path-explorer relies on the
sal explicit state model checker (sal-esmc), which is currently
out of date and incompatible with the rest of SAL-2.4.
We're planning to fix that in the future but that may take
a while.

Best regards,

Bruno