maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Batch mode for Maude ?

From: "J.Hofmann" <jacky.hofmann AT gmx.de>
To: <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] Batch mode for Maude ?
Date: Sat, 13 Oct 2012 17:12:44 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

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] Batch mode for Maude ?, J.Hofmann, 10/13/2012
- <Possible follow-up(s)>
- Re: [Maude-help] Batch mode for Maude ?, Javi Espert, 10/13/2012
  - Message not available
    - Message not available
      - Re: [Maude-help] Batch mode for Maude ?, J.Hofmann, 10/14/2012
        
        Re: [Maude-help] Batch mode for Maude ?, Marc Boyer, 10/15/2012