K-user mailing list

["Saxena, Manasvi" <msaxena2 AT illinois.edu>]

Hi Alex,

The pattern specified by the —pattern option is matched on the final 
configuration, and the substitution is displayed, instead of the entire 
configuration. 

For e.g., suppose the result of a krun execution is 

<T> <result> 10 </result> *other stuff* </T> 

then, you can filter your output by running giving krun the —pattern flag. 
You could call run with —pattern ‘<result> X </result>, and the result would 
be - 
Solution 1
X ==K 10

> Is it possible to guide the execution path using such parametere, or is 
> there another way?

I don’t think you’ll be able to use the —pattern flag to guide the execution. 
By guiding, do you mean you only want certain, but not all rules from the 
definition, to be considered during application? Or are you looking for a way 
to specify rewrite rules in the command line during krun?

-Manasvi


> On Feb 14, 2017, at 5:43 AM, Alex 
> <alexdba AT gmail.com>
>  wrote:
> 
> Cheers!
> 
> Do someone have a nice example of how to use the --pattern parameter in the 
> krun tool?
> 
> Is it possible to guide the execution path using such parametere, or is 
> there another way?
> 
> Thanks!
> Alex Alberto