Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Hi James,

I’m going to need details to help you. SCC cannot be run on the “official” version of Maude, it requires the extended version with the SCC hooks. You say that you have managed to execute it, so I suppose you already know this. The SCC was initially developed for Maude 2.3, so if you are using 2.7 I guess you are using it inside the MFE, in which case the interaction should be slightly different... as I said, without details...

Best, 

Francisco

 

On 24 may 2017, at 18:42, James M Decker <decker31 AT purdue.edu> wrote:

Hey there,

I'm following the Maude Manual (for Maude 2.7), but having some trouble in Section 4.4 regarding use of the SCC. Specifically, it doesn't seem that SCC is built into Maude 2.7 by default? I went and downloaded SCC separately and was able to get it loaded in and running, but the output doesn't match what's shown in the manual. Do you have any suggestions?

James Decker