diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-08 23:27:03 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-09 07:27:03 +0000 |
commit | b302cb1f92aae1c0954c86065469e5c2b7206e74 (patch) | |
tree | f2b4cad1effdfe8041f00f23b6fe255b0c4004bb /test/api | |
parent | 86ce1c18f8ea7a397a8b12405a196b126e82b648 (diff) |
Update copyright headers to 2021. (#6081)
Diffstat (limited to 'test/api')
-rw-r--r-- | test/api/CMakeLists.txt | 2 | ||||
-rw-r--r-- | test/api/boilerplate.cpp | 2 | ||||
-rw-r--r-- | test/api/interactive_shell.py | 2 | ||||
-rw-r--r-- | test/api/issue4889.cpp | 2 | ||||
-rw-r--r-- | test/api/issue5074.cpp | 2 | ||||
-rw-r--r-- | test/api/python/CMakeLists.txt | 2 | ||||
-rw-r--r-- | test/api/python/test_datatype_api.py | 2 | ||||
-rw-r--r-- | test/api/python/test_grammar.py | 2 | ||||
-rw-r--r-- | test/api/python/test_sort.py | 2 | ||||
-rw-r--r-- | test/api/python/test_term.py | 2 | ||||
-rw-r--r-- | test/api/python/test_to_python_obj.py | 2 | ||||
-rw-r--r-- | test/api/reset_assertions.cpp | 2 | ||||
-rw-r--r-- | test/api/sep_log_api.cpp | 2 | ||||
-rw-r--r-- | test/api/smt2_compliance.cpp | 2 | ||||
-rw-r--r-- | test/api/statistics.cpp | 2 | ||||
-rw-r--r-- | test/api/two_solvers.cpp | 2 |
16 files changed, 16 insertions, 16 deletions
diff --git a/test/api/CMakeLists.txt b/test/api/CMakeLists.txt index cc968422f..8750ff8fe 100644 --- a/test/api/CMakeLists.txt +++ b/test/api/CMakeLists.txt @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Aina Niemetz, Andrew V. Jones, Makai Mann ## 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/api/boilerplate.cpp b/test/api/boilerplate.cpp index 9fd8b456d..c98ea3ef7 100644 --- a/test/api/boilerplate.cpp +++ b/test/api/boilerplate.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Andres Noetzli, Morgan Deters ** 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/api/interactive_shell.py b/test/api/interactive_shell.py index 81dcae8a8..0e0ef063c 100644 --- a/test/api/interactive_shell.py +++ b/test/api/interactive_shell.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Andrew V. Jones ## 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/api/issue4889.cpp b/test/api/issue4889.cpp index bb2ff304e..032984ebc 100644 --- a/test/api/issue4889.cpp +++ b/test/api/issue4889.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** 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/api/issue5074.cpp b/test/api/issue5074.cpp index 82e2d9f7e..1a891251c 100644 --- a/test/api/issue5074.cpp +++ b/test/api/issue5074.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** 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/api/python/CMakeLists.txt b/test/api/python/CMakeLists.txt index 300038ada..3aa607c12 100644 --- a/test/api/python/CMakeLists.txt +++ b/test/api/python/CMakeLists.txt @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Makai Mann ## 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/api/python/test_datatype_api.py b/test/api/python/test_datatype_api.py index c692416c6..72c1af226 100644 --- a/test/api/python/test_datatype_api.py +++ b/test/api/python/test_datatype_api.py @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Andres Noetzli, Makai Mann ## 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/api/python/test_grammar.py b/test/api/python/test_grammar.py index 54c30b767..9658ea4c6 100644 --- a/test/api/python/test_grammar.py +++ b/test/api/python/test_grammar.py @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Yoni Zohar, Makai Mann, Mudathir Mohamed ## 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/api/python/test_sort.py b/test/api/python/test_sort.py index 20ddc6bc1..c05e2b24b 100644 --- a/test/api/python/test_sort.py +++ b/test/api/python/test_sort.py @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Makai Mann, Andres Noetzli, Mudathir Mohamed ## 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/api/python/test_term.py b/test/api/python/test_term.py index a0c1b4681..5a9ac5e0d 100644 --- a/test/api/python/test_term.py +++ b/test/api/python/test_term.py @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Makai Mann, 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/api/python/test_to_python_obj.py b/test/api/python/test_to_python_obj.py index eeafc4854..43ee5cdc9 100644 --- a/test/api/python/test_to_python_obj.py +++ b/test/api/python/test_to_python_obj.py @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Makai Mann, Andres Noetzli, Mudathir Mohamed ## 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/api/reset_assertions.cpp b/test/api/reset_assertions.cpp index 0662c7519..6a6574398 100644 --- a/test/api/reset_assertions.cpp +++ b/test/api/reset_assertions.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Andres Noetzli, Mudathir Mohamed ** 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/api/sep_log_api.cpp b/test/api/sep_log_api.cpp index afe264d1f..e4288f8ed 100644 --- a/test/api/sep_log_api.cpp +++ b/test/api/sep_log_api.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Andrew V. Jones, Andres Noetzli, 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/api/smt2_compliance.cpp b/test/api/smt2_compliance.cpp index 3738bd1b6..c008018b2 100644 --- a/test/api/smt2_compliance.cpp +++ b/test/api/smt2_compliance.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Aina Niemetz, Morgan Deters, Tim King ** 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/api/statistics.cpp b/test/api/statistics.cpp index 0bc89d47a..5a11fc74d 100644 --- a/test/api/statistics.cpp +++ b/test/api/statistics.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Andres Noetzli, 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/api/two_solvers.cpp b/test/api/two_solvers.cpp index 6f7411d78..b0188353c 100644 --- a/test/api/two_solvers.cpp +++ b/test/api/two_solvers.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Andres Noetzli, Morgan Deters ** 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 |