diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-08-03 22:57:31 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-08-03 22:57:31 -0700 |
| commit | e957d4dd1d2b3f93e55820a754a8f32d11cbc2ef (patch) | |
| tree | 6c5189d1fd434f2e4db5d22c86a84bc93b169ac6 /Source/AbsInt | |
| parent | 0e8cbbea071a5cc924edd3764ab4b0f2d89af36c (diff) | |
ported Houdini to C#, added Houdini project to the Boogie solution
Diffstat (limited to 'Source/AbsInt')
| -rw-r--r-- | Source/AbsInt/AbstractInterpretation.cs | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Source/AbsInt/AbstractInterpretation.cs b/Source/AbsInt/AbstractInterpretation.cs index e29a6d4a..698141bb 100644 --- a/Source/AbsInt/AbstractInterpretation.cs +++ b/Source/AbsInt/AbstractInterpretation.cs @@ -153,15 +153,6 @@ namespace Microsoft.Boogie.AbstractInterpretation { return this.lattice.Meet(atReturn, knownAtCallSite);
}
- /*
- private Cci.IGraphNavigator callGraph;
- public Cci.IGraphNavigator CallGraph {
- get {
- return this.callGraph;
- }
- }
- */
-
/// <summary>
/// Compute the invariants for the program using the underlying abstract domain
/// </summary>
|