K-user mailing list

["Park, Daejun" <dpark69 AT illinois.edu>]

Hi,

Pretty-printing output takes time, but it might not take that much. Providing 
your specific examples might help.

JVM startup time is the biggest overhead. To reduce it, you can consider to 
use Nailgun:
        https://github.com/kframework/k/wiki/Manual-(to-be-processed)#nailgun

Best,
Daejun

On Jul 1, 2016, at 10:38 AM, 
fss6 AT cin.ufpe.br
 wrote:

> Hi guys,
> 
> I wanna share one issue, I am using K framework and I noticed one thing. 
> When
> I kruning with the command line "time krun filename - v" I receive output 
> with
> 19 second of reponse time for my problem, but when I use the command line
> "time krun filename -v --output none" I have 6 seconds response time for 
> same
> problem, why this difference?
> 
> Moreover, before the execution I have this output.
> 
> Parse command line options
> Loading serialized context
> Initializing definition paths
> Reading configuration from binary
> Importing Files
> Parsing Program
> Parse configuration variables
> Make configuration
> Plug configuration variables
> Execution
> Normal execution total
> 
> I wanna to know if exist the possibility of leave this things pre-loaded, 
> and
> execute every time without this things, leave just listening.