k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] krun search

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] krun search
Date: Mon, 29 Dec 2014 00:48:15 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hello,

Where do I find documentation on how to search the state space for states with a certain property?
How do I use --pattern?
Do I need --ltlmc or is --search with --pattern enough?

Why is --search giving me too many solutions even though all of my rules are structural?

Thank you

Omar Alzuhaibi

[K-user] krun search, Omar Duhaiby, 12/28/2014
- Re: [K-user] krun search, Yuwen, Shijiao, 12/28/2014