Made 2 invariants of class 'CommandLineOptions' robust by:

- making fields private
- exposing IEnumerables
- adding methods 'AddProverOption', 'RemoveAllProverOptions', and 'AddZ3Option'
(with help from David Rohr)

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Core/VCExp.cs b/Source/Core/VCExp.cs
index 5a8100a7..87b8f3e6 100644
--- a/Source/Core/VCExp.cs
+++ b/Source/Core/VCExp.cs
@@ -81,7 +81,7 @@ The generic options may or may not be used by the prover plugin.
       }

     }

 

-    public virtual void Parse(List<string/*!*/>/*!*/ opts) {

+    public virtual void Parse(IEnumerable<string/*!*/>/*!*/ opts) {

       Contract.Requires(cce.NonNullElements(opts));

       StringBuilder sb = new StringBuilder(stringRepr);

       Contract.Assert(sb != null);