Maude-help mailing list

["J.Hofmann" <jacky.hofmann AT gmx.de>]

Hello everybody!

 

Thanks for this very fast and excellent help! Without this mailing list I would get stuck on a lot issues.

With the help of the mailing-list-member Javier, I just arrived at loading a file with a few commands in Maude instead of writing them manually.

 

But unfortunately, I’m still stuck at the point to write something in a file, and not in the console. I’m using Windows 7 with console2, but tried it also with the normal cmd-prompt.

I tried to do the following:

 

1)      Started maude in the console

2)      Loaded the needed modules

3)      Typed “reduce in MODUL : SOMETHING > path/file.txt .

 

I hoped that this normal redirecting-format works in maude. But it doesn’t. Can anyone see my mistake or give another possible solution?

 

Thank you in advance.

Best regards,

Jacqueline Hofmann

 

Von: Javi Espert [mailto:jespert AT dsic.upv.es]
Gesendet: Samstag, 13. Oktober 2012 21:30
An: J.Hofmann
Betreff: Re: [Maude-help] Batch mode for Maude ?

 

> Is there any possibility, if one reduction doesn’t terminate, to say something like “if doesn’t terminate after 10 minutes, then execute next command”? Or to create another “skip-actual-command”-command?

 

None that I know of, unfortunately. Besides manually signalling Control-C, of course.

 

> I just realized, that the xml-log doesn’t contain the output which is shown in the console. Is there any other possibility to just write down, what is shown in the console?

 

Of course. Standard IO redirection works with Maude.

If you use Linux or MacOS, you can find more info here: http://www.linuxsa.org.au/tips/io-redirection.html

 

 

2012/10/13 J.Hofmann <jacky.hofmann AT gmx.de>

Dear Javier,

 

I have one further additional question:

 

I just realized, that the xml-log doesn’t contain the output which is shown in the console. Is there any other possibility to just write down, what is shown in the console?

 

Thank you!

Best regards,

Jacqueline Hofmann

 

Von: Javi Espert [mailto:jespert AT dsic.upv.es]
Gesendet: Samstag, 13. Oktober 2012 17:43
An: J.Hofmann
Cc: maude-help AT cs.uiuc.edu
Betreff: Re: [Maude-help] Batch mode for Maude ?

 

Hi Jacqueline,

 

You can simply use the standard input. Generate a file that lists every user command you wish to execute---I often use awk for this---and pipe it into Maude. The interpreter will sequentially perform every command and individually report its solution and evaluation time. If you need to further control the output (for example, to remove times, which makes using diff to check results easier), have a look at:

 

1) http://maude.cs.uiuc.edu/maude2-manual/html/maude-manualch18.html

 

2) The command-line switches of Maude's executable.

 

Good luck!

Javier Espert

 

2012/10/13 J.Hofmann <jacky.hofmann AT gmx.de>

Dear Maude-Experts,

 

for a project, I have to test a lot of Reductions with Maude, while noting the Solution and Response-Time.

I was wondering, if there is any possibility to do this in batch mode, for not having to fulfill each command manually. Unfortunately I couldn’t find anything at the web.

 

Thank you in advance!

Best regards,

Jacqueline Hofmann

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help