k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] --no-config?

From: Dorel Lucanu <dlucanu AT info.uaic.ro>
To: k-user AT cs.uiuc.edu
Subject: Re: [K-user] --no-config?
Date: Thu, 31 Oct 2013 13:05:56 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

The option is
--output-mode <mode> How to display Maude results. <mode> is either
[pretty|raw|binary|none]. (Default: pretty).
and it is experimental. I guess you want "--output-mode none". Type

krun -X

for displaying the experimental options.

Dorel

On 10/31/13 12:17 PM, soha hussein wrote:

Hi,

I have another problem, I am trying to use the --no-config option in the krun but it
isn't there in the nightly version nor in the stable version, isn't it supported
anymore? I noticed there is another option "--io[on|off]", is it replacing
the --no-config? i tried using it but it is giving me errors as well. I tested both
options on the tutorial imp++ lesson 4, running io.imp program. Any help would be
appreciated.

Thank you,

Soha
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[K-user] --no-config?, soha hussein, 10/31/2013
- Re: [K-user] --no-config?, Dorel Lucanu, 10/31/2013
  - Re: [K-user] --no-config?, Traian Florin Șerbănuță, 10/31/2013