diff options
author | qadeer <qadeer@microsoft.com> | 2011-11-16 15:33:36 -0800 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2011-11-16 15:33:36 -0800 |
commit | 7c4a89d9adbe8b8779d3691273ee407655754d3f (patch) | |
tree | 97561678c52aa533f4c54d0f355522562f4ba057 /Source/VCGeneration/ConditionGeneration.cs | |
parent | f99b8c0a6af826c2b74f1b4143520e080453e033 (diff) |
refactoring houdini so that it creates only a single instance of z3
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
-rw-r--r-- | Source/VCGeneration/ConditionGeneration.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs index b8645cb0..cb28cd7d 100644 --- a/Source/VCGeneration/ConditionGeneration.cs +++ b/Source/VCGeneration/ConditionGeneration.cs @@ -909,7 +909,7 @@ namespace VC { }
- protected class CounterexampleCollector : VerifierCallback {
+ public class CounterexampleCollector : VerifierCallback {
[ContractInvariantMethod]
void ObjectInvariant() {
Contract.Invariant(cce.NonNullElements(examples));
|