Strange output from KTC

[johnwikman]

When running KTC I get this output which appears to relate to how many Timed C directives I use. Is it possible to have this output be better formatted or just be suppressed entirely?

sdelay
s.sid  6 
sdelay
s.sid  108 
sdelay
s.sid  112 
sdelay
s.sid  131 
sdelay
s.sid  135 
sdelay
s.sid  184 
sdelay
s.sid  188 
sdelay
s.sid  248 
sdelay
s.sid  252 
(mist_handletc 1)(mist_gettc 1)(mist_sendtm 1)(mist_hk 1)(mist_initialization 1)(mist_xtest 1)(main 1)DonestartstartstartstartstartstartstartstartstartstartDonestartstartstartstartDonetask 1task 2task 3task 4task5task 1task 2task 3task 4task5task 1task 2task 3task 4task5task 1task 2task 3task 4task5task 1task 2task 3task 4task5task 1task 2task 3task 4task5startDonestartstartstartstartstartstartstartDonestartstartstartstartstartstartDonestartstartstartstartstartstartstartstartstartstartstartstartstartstartstartstartstartstartstartstartDoneDonestartstartstartstartstartDonestartstartstartstartstartstartDonestartstartstartstartstartstartstartstartDonestartstartstartstartstartstartstartDonestartstartstartstartstartstartstartstartstartstartDonestartstartstartstartstartstartstartstartstartstartstartstartstartstartstartstartstartstartstartstartDonestartstartstartstartstartstartstartDonestartstartstartstartstartstartstartstartstartstartstartstartstartstartstart

The flags I pass to KTC are -w --enable-ext1 --save-temps

[saranya-natarajan]

@johnwikman
I have a fix for this in the docker hub. I will close this if you give an OK. I will also open another feature issue for getting all Timed C construct summary with an option

[johnwikman]

Verified and checked that this output is suppressed with the latest version on docker hub! Though the version number appears to be unchanged from 1.0.0.