diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-01 22:25:01 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-01 22:25:01 +0000 |
commit | 02c2038dca9ce3e09cac66ed3bd6f8e2832ff74b (patch) | |
tree | c9ddfd5562849c7e9bbe89e740697b8deeb61564 /test/unit | |
parent | 2801ed49a3bef7306249844e35118cf7ce6fd2c7 (diff) |
re-add no-deprecated to C sources; update some file-level documentation; first look at cdvector for code review
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/context/cdvector_black.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/unit/context/cdvector_black.h b/test/unit/context/cdvector_black.h index 8deac3fb3..3e9a7b87b 100644 --- a/test/unit/context/cdvector_black.h +++ b/test/unit/context/cdvector_black.h @@ -1,3 +1,21 @@ +/********************* */ +/*! \file cdvector_black.h + ** \verbatim + ** Original author: taking + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief [[ Add one-line brief description here ]] + ** + ** [[ Add lengthier description here ]] + ** \todo document this file + **/ #include <cxxtest/TestSuite.h> |