k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] krun pattern option question

From: Seokje Seo <seo43 AT illinois.edu>
To: k-user AT cs.uiuc.edu
Subject: [K-user] krun pattern option question
Date: Wed, 16 Oct 2013 11:50:38 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hello all,

I recently updated and excited about changes applied on options of krun.

Here is the question i have.

I used --search --pattern "<cell>K</cell>" to extract contents in the cell but it does not as before. Now it gives me back nothing. I wonder how to use new version of this to extract the content.

Thank you in advance!

regards,

Seokje Seo

[K-user] krun pattern option question, Seokje Seo, 10/16/2013
- Re: [K-user] krun pattern option question, Park, Daejun, 10/17/2013
  - Re: [K-user] krun pattern option question, Seokje Seo, 10/17/2013