summaryrefslogtreecommitdiff
path: root/test/unit/util
diff options
context:
space:
mode:
Diffstat (limited to 'test/unit/util')
-rw-r--r--test/unit/util/assert_white.h7
-rw-r--r--test/unit/util/bitvector_black.h11
-rw-r--r--test/unit/util/configuration_black.h7
-rw-r--r--test/unit/util/exception_black.h7
-rw-r--r--test/unit/util/integer_black.h9
-rw-r--r--test/unit/util/integer_white.h9
-rw-r--r--test/unit/util/output_black.h7
-rw-r--r--test/unit/util/rational_black.h7
-rw-r--r--test/unit/util/rational_white.h9
9 files changed, 50 insertions, 23 deletions
diff --git a/test/unit/util/assert_white.h b/test/unit/util/assert_white.h
index d001c5a84..389f2aa1b 100644
--- a/test/unit/util/assert_white.h
+++ b/test/unit/util/assert_white.h
@@ -1,5 +1,6 @@
/********************* */
-/** assert_white.h
+/*! \file assert_white.h
+ ** \verbatim
** Original author: mdeters
** Major contributors: none
** Minor contributors (to current version): none
@@ -8,7 +9,9 @@
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
- ** information.
+ ** information.\endverbatim
+ **
+ ** \brief White box testing of CVC4::Configuration.
**
** White box testing of CVC4::Configuration.
**/
diff --git a/test/unit/util/bitvector_black.h b/test/unit/util/bitvector_black.h
index b866aa877..c4e77852b 100644
--- a/test/unit/util/bitvector_black.h
+++ b/test/unit/util/bitvector_black.h
@@ -1,14 +1,17 @@
/********************* */
-/** bitvector_black.h
- ** Original author: taking
+/*! \file bitvector_black.h
+ ** \verbatim
+ ** Original author: cconway
** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
** 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.
+ ** information.\endverbatim
+ **
+ ** \brief Black box testing of CVC4::BitVector.
**
** Black box testing of CVC4::BitVector.
**/
diff --git a/test/unit/util/configuration_black.h b/test/unit/util/configuration_black.h
index 5ee4cf095..e06fe9636 100644
--- a/test/unit/util/configuration_black.h
+++ b/test/unit/util/configuration_black.h
@@ -1,5 +1,6 @@
/********************* */
-/** configuration_black.h
+/*! \file configuration_black.h
+ ** \verbatim
** Original author: mdeters
** Major contributors: none
** Minor contributors (to current version): none
@@ -8,7 +9,9 @@
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
- ** information.
+ ** information.\endverbatim
+ **
+ ** \brief Black box testing of CVC4::Configuration.
**
** Black box testing of CVC4::Configuration.
**/
diff --git a/test/unit/util/exception_black.h b/test/unit/util/exception_black.h
index 758a12645..2bbd727fb 100644
--- a/test/unit/util/exception_black.h
+++ b/test/unit/util/exception_black.h
@@ -1,5 +1,6 @@
/********************* */
-/** exception_black.h
+/*! \file exception_black.h
+ ** \verbatim
** Original author: mdeters
** Major contributors: none
** Minor contributors (to current version): none
@@ -8,7 +9,9 @@
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
- ** information.
+ ** information.\endverbatim
+ **
+ ** \brief Black box testing of CVC4::Exception.
**
** Black box testing of CVC4::Exception.
**/
diff --git a/test/unit/util/integer_black.h b/test/unit/util/integer_black.h
index 627167ad3..57ae247ac 100644
--- a/test/unit/util/integer_black.h
+++ b/test/unit/util/integer_black.h
@@ -1,14 +1,17 @@
/********************* */
-/** integer_black.h
+/*! \file integer_black.h
+ ** \verbatim
** Original author: taking
** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): cconway, mdeters
** 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.
+ ** information.\endverbatim
+ **
+ ** \brief Black box testing of CVC4::Integer.
**
** Black box testing of CVC4::Integer.
**/
diff --git a/test/unit/util/integer_white.h b/test/unit/util/integer_white.h
index 3a86289a3..cd9244996 100644
--- a/test/unit/util/integer_white.h
+++ b/test/unit/util/integer_white.h
@@ -1,14 +1,17 @@
/********************* */
-/** integer_white.h
+/*! \file integer_white.h
+ ** \verbatim
** Original author: taking
** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
** 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.
+ ** information.\endverbatim
+ **
+ ** \brief White box testing of CVC4::Integer.
**
** White box testing of CVC4::Integer.
**/
diff --git a/test/unit/util/output_black.h b/test/unit/util/output_black.h
index 6e613e9f4..e6a040f7b 100644
--- a/test/unit/util/output_black.h
+++ b/test/unit/util/output_black.h
@@ -1,5 +1,6 @@
/********************* */
-/** output_black.h
+/*! \file output_black.h
+ ** \verbatim
** Original author: mdeters
** Major contributors: none
** Minor contributors (to current version): none
@@ -8,7 +9,9 @@
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
- ** information.
+ ** information.\endverbatim
+ **
+ ** \brief Black box testing of CVC4 output classes.
**
** Black box testing of CVC4 output classes.
**/
diff --git a/test/unit/util/rational_black.h b/test/unit/util/rational_black.h
index 35d22b150..17bd7b245 100644
--- a/test/unit/util/rational_black.h
+++ b/test/unit/util/rational_black.h
@@ -1,5 +1,6 @@
/********************* */
-/** rational_black.h
+/*! \file rational_black.h
+ ** \verbatim
** Original author: cconway
** Major contributors: none
** Minor contributors (to current version): none
@@ -8,7 +9,9 @@
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
- ** information.
+ ** information.\endverbatim
+ **
+ ** \brief Black box testing of CVC4::Rational.
**
** Black box testing of CVC4::Rational.
**/
diff --git a/test/unit/util/rational_white.h b/test/unit/util/rational_white.h
index 45f1301f3..4a76e7a5d 100644
--- a/test/unit/util/rational_white.h
+++ b/test/unit/util/rational_white.h
@@ -1,14 +1,17 @@
/********************* */
-/** rational_white.h
+/*! \file rational_white.h
+ ** \verbatim
** Original author: taking
** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
** 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.
+ ** information.\endverbatim
+ **
+ ** \brief White box testing of CVC4::Rational.
**
** White box testing of CVC4::Rational.
**/
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback