Pex - Automated Whitebox Testing for .NET : Command Line Filters Syntax

Command Line Filters Syntax


The Pex Command Line provides a range of filter that can be used to select explorations to run in various ways. All filters use the following syntax:

Syntax

All the filters use a simple grammar:

  • filters are case insensitive,
  • by default, filters perform a substring matching,
    • el matches hello,
  • adding ! to the end of the filter will make it a precise match,
    • el! does not match hello,
    • hello! matches hello,
  • adding * to the end of the filter will make it match the prefix of the string,
    • el* does not match hello,
    • he* matches hello,
  • multiple filters can be combined in a semi-column separated list,
    • el;wo matches hello and world

(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0