[SAL-HELP] Path explorer

[Bruno Dutertre]

Rimvydas Ruksenas wrote:
> Hello,
> 
> I have a problem with sal-path-explorer. I tried it
> with several specifications. In all cases it right
> away printed the following message:
> 
>   Error: Unbound variable
> 
> I get the same error message even when running it
> with the example suggested by sal --help:
> 
>   sal-path-explorer peterson system
> 
> Could someone help?
> 
> Thanks,
> Rimvydas
> 

Hello,

I'll look into the code but I suspect the problem is
that sal-path-explorer internally calls the explicit
state model checker, which is currently broken. The
explicit-state model checker has not been updated in
a while and is no longer compatible with the rest of sal-2.4.
That's something we're planning to fix in the future.

Best regards,

Bruno