diff options
| author |  Shaobo <polarishehn@gmail.com> | 2015-10-30 14:53:07 -0600 |
|---|---|---|
| committer |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-31 07:51:05 +0000 |
| commit | 90f2ae09d29b841ff42cdd8f441bda684c3421e2 (patch) | |
| tree | b36b025d1bf8b7482c7b95038d5609aa254d1e44 /Source | |
| parent | 0732077773c80e86f8fbbc0be94ae9c034ad1924 (diff) | |
Added wild card matching for /proc flag
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index f4cba1dc..d7644915 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -11,6 +11,7 @@ using System.IO; using System.Linq; using System.Diagnostics; using System.Diagnostics.Contracts; +using System.Text.RegularExpressions; namespace Microsoft.Boogie { public class CommandLineOptionEngine @@ -1700,7 +1701,7 @@ namespace Microsoft.Boogie { // no preference return true; } - return ProcsToCheck.Contains(methodFullname); + return ProcsToCheck.Any(s => Regex.IsMatch(methodFullname, "^" + Regex.Escape(s).Replace(@"\*", ".*") + "$")); } public virtual StringCollection ParseNamedArgumentList(string argList) { |