Maude-help mailing list

[Daniel Romero <danielomarromero AT gmail.com>]

Marc Boyer wrote:
> Daniel Romero a écrit :
>> Hello all
>> Besides, the intermediate states are shown when we use the commands
>> "set trace on" and "set trace whole on", but It is not possible to
>> access to this trace (at least, I don't know how).
>
>   What did you mean by "accessing to this trace".
>   Maude prints the trace in the shell, and you can redirect it into
> a file with shell redirections ( > , | , tee ).
>
> Marc Boyer

yes, it is right (I know that), but it is necessary to leave the maude 
environment :(
What I want is to make a command as metaSearchPath that considers the 
equations too.
The "B" option is to make a parser for reading a file that contains 
the trace of execution.

Daniel Romero