Maude-help mailing list

[Javi Espert <jespert AT dsic.upv.es>]

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