summaryrefslogtreecommitdiff
path: root/test/unit/api
diff options
context:
space:
mode:
Diffstat (limited to 'test/unit/api')
-rw-r--r--test/unit/api/CMakeLists.txt2
-rw-r--r--test/unit/api/datatype_api_black.cpp2
-rw-r--r--test/unit/api/grammar_black.cpp2
-rw-r--r--test/unit/api/op_black.cpp2
-rw-r--r--test/unit/api/op_white.cpp2
-rw-r--r--test/unit/api/result_black.cpp2
-rw-r--r--test/unit/api/solver_black.cpp4
-rw-r--r--test/unit/api/solver_white.cpp2
-rw-r--r--test/unit/api/sort_black.cpp4
-rw-r--r--test/unit/api/term_black.cpp2
-rw-r--r--test/unit/api/term_white.cpp2
11 files changed, 13 insertions, 13 deletions
diff --git a/test/unit/api/CMakeLists.txt b/test/unit/api/CMakeLists.txt
index ba4ee31e7..97564664a 100644
--- a/test/unit/api/CMakeLists.txt
+++ b/test/unit/api/CMakeLists.txt
@@ -3,7 +3,7 @@
## Top contributors (to current version):
## Aina Niemetz, Andres Noetzli
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/test/unit/api/datatype_api_black.cpp b/test/unit/api/datatype_api_black.cpp
index f72bcd1c3..ccc61c36a 100644
--- a/test/unit/api/datatype_api_black.cpp
+++ b/test/unit/api/datatype_api_black.cpp
@@ -4,7 +4,7 @@
** Top contributors (to current version):
** Andrew Reynolds, Aina Niemetz, Andres Noetzli
** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
diff --git a/test/unit/api/grammar_black.cpp b/test/unit/api/grammar_black.cpp
index 406d145ab..cabc3e249 100644
--- a/test/unit/api/grammar_black.cpp
+++ b/test/unit/api/grammar_black.cpp
@@ -4,7 +4,7 @@
** Top contributors (to current version):
** Aina Niemetz
** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
diff --git a/test/unit/api/op_black.cpp b/test/unit/api/op_black.cpp
index 379d16850..46aa9799b 100644
--- a/test/unit/api/op_black.cpp
+++ b/test/unit/api/op_black.cpp
@@ -4,7 +4,7 @@
** Top contributors (to current version):
** Makai Mann, Aina Niemetz
** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
diff --git a/test/unit/api/op_white.cpp b/test/unit/api/op_white.cpp
index 6f1ff549f..a8509ee26 100644
--- a/test/unit/api/op_white.cpp
+++ b/test/unit/api/op_white.cpp
@@ -2,7 +2,7 @@
/*! \file op_white.cpp
** \verbatim
** Top contributors (to current version):
- ** Aina Niemetz
+ ** Aina Niemetz, Makai Mann
** This file is part of the CVC4 project.
** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
diff --git a/test/unit/api/result_black.cpp b/test/unit/api/result_black.cpp
index a3e693b27..a52eba2b7 100644
--- a/test/unit/api/result_black.cpp
+++ b/test/unit/api/result_black.cpp
@@ -4,7 +4,7 @@
** Top contributors (to current version):
** Aina Niemetz
** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
diff --git a/test/unit/api/solver_black.cpp b/test/unit/api/solver_black.cpp
index 92031b447..e5589f81e 100644
--- a/test/unit/api/solver_black.cpp
+++ b/test/unit/api/solver_black.cpp
@@ -2,9 +2,9 @@
/*! \file solver_black.cpp
** \verbatim
** Top contributors (to current version):
- ** Aina Niemetz, Andres Noetzli, Abdalrhman Mohamed
+ ** Aina Niemetz, Mudathir Mohamed, Ying Sheng
** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
diff --git a/test/unit/api/solver_white.cpp b/test/unit/api/solver_white.cpp
index e360bb2d0..84d68dbc6 100644
--- a/test/unit/api/solver_white.cpp
+++ b/test/unit/api/solver_white.cpp
@@ -2,7 +2,7 @@
/*! \file solver_white.cpp
** \verbatim
** Top contributors (to current version):
- ** Aina Niemetz
+ ** Aina Niemetz, Makai Mann, Andrew Reynolds
** This file is part of the CVC4 project.
** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
diff --git a/test/unit/api/sort_black.cpp b/test/unit/api/sort_black.cpp
index 747ddb92d..f0827c71d 100644
--- a/test/unit/api/sort_black.cpp
+++ b/test/unit/api/sort_black.cpp
@@ -2,9 +2,9 @@
/*! \file sort_black.cpp
** \verbatim
** Top contributors (to current version):
- ** Aina Niemetz, Andrew Reynolds, Mudathir Mohamed
+ ** Aina Niemetz, Andrew Reynolds, Yoni Zohar
** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
diff --git a/test/unit/api/term_black.cpp b/test/unit/api/term_black.cpp
index 21906f8ed..c087e2175 100644
--- a/test/unit/api/term_black.cpp
+++ b/test/unit/api/term_black.cpp
@@ -4,7 +4,7 @@
** Top contributors (to current version):
** Aina Niemetz, Makai Mann, Andrew Reynolds
** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
diff --git a/test/unit/api/term_white.cpp b/test/unit/api/term_white.cpp
index da1557024..9906fd731 100644
--- a/test/unit/api/term_white.cpp
+++ b/test/unit/api/term_white.cpp
@@ -2,7 +2,7 @@
/*! \file term_white.cpp
** \verbatim
** Top contributors (to current version):
- ** Aina Niemetz
+ ** Makai Mann, Aina Niemetz, Andrew Reynolds
** This file is part of the CVC4 project.
** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback