summaryrefslogtreecommitdiff
path: root/Source/Core
diff options
context:
space:
mode:
authorGravatar Shaobo <polarishehn@gmail.com>2015-10-30 14:53:07 -0600
committerGravatar Dan Liew <daniel.liew@imperial.ac.uk>2015-10-31 07:51:05 +0000
commit90f2ae09d29b841ff42cdd8f441bda684c3421e2 (patch)
treeb36b025d1bf8b7482c7b95038d5609aa254d1e44 /Source/Core
parent0732077773c80e86f8fbbc0be94ae9c034ad1924 (diff)
Added wild card matching for /proc flag
Diffstat (limited to 'Source/Core')
-rw-r--r--Source/Core/CommandLineOptions.cs3
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) {