k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Pre-loaded K config

From: <fss6 AT cin.ufpe.br>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Pre-loaded K config
Date: Fri, 01 Jul 2016 10:38:20 -0500

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.

[[K-user] ] Pre-loaded K config, fss6, 07/01/2016
- Re: [[K-user] ] Pre-loaded K config, Park, Daejun, 07/02/2016