Skip to Content.
Sympa Menu

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

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

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


Chronological Thread 
  • 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





Archive powered by MHonArc 2.6.16.

Top of Page