kframework/k-legacy

unformatted output

Opened this issue · 0 comments

Hi

I installed the latest version (4.0.1) and tried to run, the output is fine but not appropriately formatted. The output looks just like below. There is no color, indent, or line break.

$ krun tests/sum-io.imp <T> <k> print ( "Add numbers up to (<= 0 to quit)? " , .AExps ) ; ~> ( n = read ( ) ; ) ~> ( if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! ( n <= 0 ) ) { s = s + n ; n = n + -1 ; } print ( "Sum = " , ( s , ( "\n" , .AExps ) ) ) ; } ) ~> while ( true ) { print ( "Add numbers up to (<= 0 to quit)? " , .AExps ) ; n = read ( ) ; if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! ( n <= 0 ) ) { s = s + n ; n = n + -1 ; } print ( "Sum = " , ( s , ( "\n" , .AExps ) ) ) ; } } </k> <state> s |-> 0 n |-> 0 </state> </T>
When I try --color on option, the output is exactly the same.

When I use version 3.6.0 to run the same file, the output comes in with great formatting.

How can I fix this issue?