diff options
Diffstat (limited to 'test/unit/api')
-rw-r--r-- | test/unit/api/CMakeLists.txt | 2 | ||||
-rw-r--r-- | test/unit/api/datatype_api_black.cpp | 2 | ||||
-rw-r--r-- | test/unit/api/grammar_black.cpp | 2 | ||||
-rw-r--r-- | test/unit/api/op_black.cpp | 2 | ||||
-rw-r--r-- | test/unit/api/op_white.cpp | 2 | ||||
-rw-r--r-- | test/unit/api/result_black.cpp | 2 | ||||
-rw-r--r-- | test/unit/api/solver_black.cpp | 4 | ||||
-rw-r--r-- | test/unit/api/solver_white.cpp | 2 | ||||
-rw-r--r-- | test/unit/api/sort_black.cpp | 4 | ||||
-rw-r--r-- | test/unit/api/term_black.cpp | 2 | ||||
-rw-r--r-- | test/unit/api/term_white.cpp | 2 |
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. |