k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] krun search

From: "Yuwen, Shijiao" <yuwen2 AT illinois.edu>
To: Omar Duhaiby <3omarz AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] krun search
Date: Sun, 28 Dec 2014 23:22:36 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi,

I don’t remember reading any documentation on search, I might also tried in
the past, but in the end, I only found the tutorial:

http://www.kframework.org/index.php/Lesson_3,_IMP%2B%2B:_Tagging;_Superheat/Supercool_Kompilation_Options

which is quite useful if you haven’t watched it.

Good luck,
Shijiao

> On Dec 28, 2014, at 3:48 PM, Omar Duhaiby
> <3omarz AT gmail.com>
> wrote:
>
> 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 mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user

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