k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Executing a rule on matching and non matching configurations

From: Gurvan Le Guernic <gleguern AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Executing a rule on matching and non matching configurations
Date: Tue, 23 Feb 2016 19:11:54 +0100

Hi,

First of all thanks for the K tool and responsive mailing list.

My generI have a rule that applies (a configuration transformation) if the current configuration matches (sub-configuration) pattern A and pattern B. I want to write a rule that

[[K-user] ] Executing a rule on matching and non matching configurations, Gurvan Le Guernic, 02/23/2016
- <Possible follow-up(s)>
- [[K-user] ] Executing a rule on matching and non matching configurations, Gurvan Le Guernic, 02/23/2016