diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 22:28:41 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 22:28:41 +0000 |
| commit | 6ad21b68e654b940d97caea6d34404d0a6b6e628 (patch) | |
| tree | b46eef44939a88534724af22b4fc2e4b1a31e273 /src | |
| parent | 7b25842fc149956bc5345d01760ada57a4d23f66 (diff) | |
Adding black-box tests for NodeManager (Closes bug #65)
Diffstat (limited to 'src')
| -rw-r--r-- | src/expr/node_manager.cpp | 2 | ||||
| -rw-r--r-- | src/expr/node_manager.h | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index d953907ae..708bd16b2 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -11,6 +11,8 @@ ** information. ** ** Expression manager implementation. + ** + ** Reviewed by Chris Conway, Apr 5 2010 (bug #65). **/ #include "node_manager.h" diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 2b403ad36..3f7196178 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -11,6 +11,8 @@ ** information. ** ** A manager for Nodes. + ** + ** Reviewed by Chris Conway, Apr 5 2010 (bug #65). **/ #include "cvc4_private.h" |