k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] How does <k> rules work?

From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
To: Traian Florin Șerbănuță <traian.serbanuta AT info.uaic.ro>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] How does <k> rules work?
Date: Mon, 19 Aug 2013 22:41:08 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Thanks, I think I understand it now. When I wrap a rule with <k> ...
</k>, it matches with the whole k configuration, not some part of
it(unlike unwrapped rules).

So at this point I'm having trouble with debugging my K program, is
there a way to trace what is current configurations, and which rule
applied etc. for each computational step until the program stucks?

---
Ömer Sinan Ağacan
http://osa1.net

[K-user] How does <k> rules work?, Ömer Sinan Ağacan, 08/19/2013
- Re: [K-user] How does <k> rules work?, Traian Florin Șerbănuță, 08/19/2013
  - Re: [K-user] How does <k> rules work?, Ömer Sinan Ağacan, 08/19/2013
    - Re: [K-user] How does <k> rules work?, Dorel Lucanu, 08/20/2013