K-user mailing list

[Traian Florin Șerbănuță <traian.serbanuta AT info.uaic.ro>]

I was alsosurprised to see that we have no "non-experimental" option for not displaying the configuration anymore.  

One could say it is quite an essential feature for obtaining an interpreter-like behavior from krun (and we advertize krun as generating interpreters).

Not to say that sometimes the final configuration is just too big to comprehend.

best wishes,

Traian

2013/10/31 Dorel Lucanu <dlucanu AT info.uaic.ro>

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 mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user