k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Debugging a K language program (krun)

From: Gurvan Le Guernic <gleguern AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Debugging a K language program (krun)
Date: Fri, 21 Feb 2020 19:19:19 +0100
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=gleguern AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025; dmarc=pass header.from=gmail.com

Hi,

I'm trying to understand what's happening with https://github.com/kframework/k/issues/1114. I tried to run "krun" with a few logging flags:
--coverage-file cov.txt \
--log \
--log-basic \
--log-cells \
--log-func-eval \
--log-impl \
--log-progress \
--log-rules \
--log-rules-init \
--log-success \
--log-success-pc-diff \
--state-log \
--state-log-events rule \
--state-log-id \
--state-log-path \
--trace \

None of them produce any information (no output on terminal and no files created).

I'm using RV-K version 1.0-SNAPSHOT Git revision: f84831e Build date: Tue Jan 07 17:02:39 CET 2020.

Is there a way to log information about krun executions ?

Thanks,

Gurvan

[[K-user] ] Debugging a K language program (krun), Gurvan Le Guernic, 02/21/2020