Fix issue #16 reported by @crazykt

Previously when Boogie was passed the ``-proc:<NAME>`` argument on the command
line it would verify any procedure whose name contained ``<NAME>`` which
doesn't seem like correct behaviour.

Now Boogie only tries to verify a procedure only if its name matches
``<NAME>`` exactly. I've added several test cases to check Boogie
behaves as expected.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 1c7f40d4..2be1cdf7 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -1700,7 +1700,7 @@ namespace Microsoft.Boogie {
         // no preference
         return true;
       }
-      return ProcsToCheck.Any(s => 0 <= methodFullname.IndexOf(s));
+      return ProcsToCheck.Contains(methodFullname);
     }
 
     public virtual StringCollection ParseNamedArgumentList(string argList) {