diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-12-02 19:55:00 -0800 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2020-12-02 19:55:00 -0800 |
commit | 92e9feab5f417fbbd3ac07d47fe9b6b49f5c4168 (patch) | |
tree | c7c533d12e91b68d350d5dcc5e77441a831f69a9 /test | |
parent | 3a8e2f4e52f4debfb8eb6fb9c49934a66d742ec9 (diff) |
Update copyright headers.
Diffstat (limited to 'test')
32 files changed, 45 insertions, 35 deletions
diff --git a/test/api/CMakeLists.txt b/test/api/CMakeLists.txt index 59df71010..33d5f9c37 100644 --- a/test/api/CMakeLists.txt +++ b/test/api/CMakeLists.txt @@ -1,7 +1,7 @@ ##################### ## CMakeLists.txt ## Top contributors (to current version): -## Aina Niemetz, Andrew V. Jones, Andres Noetzli +## 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 ## in the top-level source directory and their institutional affiliations. diff --git a/test/api/ouroborous.cpp b/test/api/ouroborous.cpp index efca53ab3..1a23acd29 100644 --- a/test/api/ouroborous.cpp +++ b/test/api/ouroborous.cpp @@ -2,7 +2,7 @@ /*! \file ouroborous.cpp ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Aina Niemetz, Tim King + ** Morgan Deters, Andrew Reynolds, Tim King ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/api/python/test_grammar.py b/test/api/python/test_grammar.py index 5a0d5101f..54c30b767 100644 --- a/test/api/python/test_grammar.py +++ b/test/api/python/test_grammar.py @@ -1,7 +1,7 @@ ##################### ## test_grammar.py ## Top contributors (to current version): -## Yoni Zohar, Makai Mann +## 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 ## in the top-level source directory and their institutional affiliations. diff --git a/test/api/python/test_sort.py b/test/api/python/test_sort.py index cff92ca8d..20ddc6bc1 100644 --- a/test/api/python/test_sort.py +++ b/test/api/python/test_sort.py @@ -1,7 +1,7 @@ ##################### ## test_sort.py ## Top contributors (to current version): -## Makai Mann, Andres Noetzli +## 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 ## in the top-level source directory and their institutional affiliations. diff --git a/test/api/python/test_to_python_obj.py b/test/api/python/test_to_python_obj.py index eb15e7469..eeafc4854 100644 --- a/test/api/python/test_to_python_obj.py +++ b/test/api/python/test_to_python_obj.py @@ -1,3 +1,13 @@ +##################### +## test_to_python_obj.py +## 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 +## 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. +## from fractions import Fraction import pytest diff --git a/test/api/reset_assertions.cpp b/test/api/reset_assertions.cpp index 2168d053e..0662c7519 100644 --- a/test/api/reset_assertions.cpp +++ b/test/api/reset_assertions.cpp @@ -2,7 +2,7 @@ /*! \file reset_assertions.cpp ** \verbatim ** Top contributors (to current version): - ** Andres Noetzli + ** Andres Noetzli, Mudathir Mohamed ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/api/sep_log_api.cpp b/test/api/sep_log_api.cpp index cc20f1ed1..afe264d1f 100644 --- a/test/api/sep_log_api.cpp +++ b/test/api/sep_log_api.cpp @@ -2,7 +2,7 @@ /*! \file sep_log_api.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew V. Jones, Andres Noetzli + ** 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 ** in the top-level source directory and their institutional affiliations. diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py index 17aa9e0c6..17aa9e0c6 100755..100644 --- a/test/regress/run_regression.py +++ b/test/regress/run_regression.py diff --git a/test/unit/api/CMakeLists.txt b/test/unit/api/CMakeLists.txt index c6c682365..056f9d891 100644 --- a/test/unit/api/CMakeLists.txt +++ b/test/unit/api/CMakeLists.txt @@ -1,7 +1,7 @@ ##################### ## CMakeLists.txt ## Top contributors (to current version): -## Aina Niemetz, Andres Noetzli, Makai Mann +## Aina Niemetz, Andres Noetzli ## This file is part of the CVC4 project. ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. diff --git a/test/unit/api/grammar_black.cpp b/test/unit/api/grammar_black.cpp index 2cfe67825..7e599b135 100644 --- a/test/unit/api/grammar_black.cpp +++ b/test/unit/api/grammar_black.cpp @@ -2,7 +2,7 @@ /*! \file grammar_black.cpp ** \verbatim ** Top contributors (to current version): - ** Abdalrhman Mohamed, Aina Niemetz, Andrew Reynolds + ** Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 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 260845495..05427c01d 100644 --- a/test/unit/api/result_black.cpp +++ b/test/unit/api/result_black.cpp @@ -2,7 +2,7 @@ /*! \file result_black.cpp ** \verbatim ** Top contributors (to current version): - ** Aina Niemetz, Andrew Reynolds + ** Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 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.h b/test/unit/api/sort_black.h index e6d712191..baec0f3e9 100644 --- a/test/unit/api/sort_black.h +++ b/test/unit/api/sort_black.h @@ -2,7 +2,7 @@ /*! \file sort_black.h ** \verbatim ** Top contributors (to current version): - ** Aina Niemetz, Andrew Reynolds + ** Aina Niemetz, Andrew Reynolds, Mudathir Mohamed ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/api/term_black.cpp b/test/unit/api/term_black.cpp index 71e1c7f6f..8627f6033 100644 --- a/test/unit/api/term_black.cpp +++ b/test/unit/api/term_black.cpp @@ -2,7 +2,7 @@ /*! \file term_black.cpp ** \verbatim ** Top contributors (to current version): - ** Aina Niemetz, Andrew Reynolds, Makai Mann + ** 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 ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/expr/CMakeLists.txt b/test/unit/expr/CMakeLists.txt index 6c0abc4ab..2c698f953 100644 --- a/test/unit/expr/CMakeLists.txt +++ b/test/unit/expr/CMakeLists.txt @@ -1,7 +1,7 @@ ##################### ## CMakeLists.txt ## Top contributors (to current version): -## Aina Niemetz, Yoni Zohar, Alex Ozdemir +## Aina Niemetz ## This file is part of the CVC4 project. ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. diff --git a/test/unit/expr/symbol_table_black.h b/test/unit/expr/symbol_table_black.h index 5233c7e09..4aa1e4f65 100644 --- a/test/unit/expr/symbol_table_black.h +++ b/test/unit/expr/symbol_table_black.h @@ -2,7 +2,7 @@ /*! \file symbol_table_black.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Christopher L. Conway, Andres Noetzli + ** Morgan Deters, Christopher L. Conway, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/expr/type_node_white.h b/test/unit/expr/type_node_white.h index 8ac17bbbd..042a7b1da 100644 --- a/test/unit/expr/type_node_white.h +++ b/test/unit/expr/type_node_white.h @@ -2,7 +2,7 @@ /*! \file type_node_white.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Andres Noetzli + ** Morgan Deters, Andrew Reynolds, Andres Noetzli ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/main/interactive_shell_black.h b/test/unit/main/interactive_shell_black.h index df6a79bd8..d8cbc19cd 100644 --- a/test/unit/main/interactive_shell_black.h +++ b/test/unit/main/interactive_shell_black.h @@ -2,7 +2,7 @@ /*! \file interactive_shell_black.h ** \verbatim ** Top contributors (to current version): - ** Christopher L. Conway, Aina Niemetz, Andres Noetzli + ** Christopher L. Conway, Aina Niemetz, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index ef8f2e3cf..d63f6b029 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -2,7 +2,7 @@ /*! \file parser_black.h ** \verbatim ** Top contributors (to current version): - ** Christopher L. Conway, Morgan Deters, Aina Niemetz + ** Christopher L. Conway, Morgan Deters, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/parser/parser_builder_black.h b/test/unit/parser/parser_builder_black.h index c101542d0..686fc7400 100644 --- a/test/unit/parser/parser_builder_black.h +++ b/test/unit/parser/parser_builder_black.h @@ -2,7 +2,7 @@ /*! \file parser_builder_black.h ** \verbatim ** Top contributors (to current version): - ** Christopher L. Conway, Aina Niemetz, Tim King + ** Christopher L. Conway, Andrew Reynolds, Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/preprocessing/CMakeLists.txt b/test/unit/preprocessing/CMakeLists.txt index a2381ba90..f2dc0ce79 100644 --- a/test/unit/preprocessing/CMakeLists.txt +++ b/test/unit/preprocessing/CMakeLists.txt @@ -1,7 +1,7 @@ ##################### ## CMakeLists.txt ## Top contributors (to current version): -## Aina Niemetz, Yoni Zohar +## Aina Niemetz ## This file is part of the CVC4 project. ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. diff --git a/test/unit/printer/CMakeLists.txt b/test/unit/printer/CMakeLists.txt index 93c241af9..973488a3e 100644 --- a/test/unit/printer/CMakeLists.txt +++ b/test/unit/printer/CMakeLists.txt @@ -1,7 +1,7 @@ ##################### ## CMakeLists.txt ## Top contributors (to current version): -## Andres Noetzli +## Andres Noetzli, Aina Niemetz ## This file is part of the CVC4 project. ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. diff --git a/test/unit/theory/CMakeLists.txt b/test/unit/theory/CMakeLists.txt index 334ded2d1..e7528453e 100644 --- a/test/unit/theory/CMakeLists.txt +++ b/test/unit/theory/CMakeLists.txt @@ -1,7 +1,7 @@ ##################### ## CMakeLists.txt ## Top contributors (to current version): -## Aina Niemetz, Andres Noetzli, Andrew Reynolds +## Aina Niemetz ## This file is part of the CVC4 project. ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. diff --git a/test/unit/theory/theory_bags_normal_form_white.h b/test/unit/theory/theory_bags_normal_form_white.h index 72fc4284e..eb1676f79 100644 --- a/test/unit/theory/theory_bags_normal_form_white.h +++ b/test/unit/theory/theory_bags_normal_form_white.h @@ -2,10 +2,10 @@ /*! \file theory_bags_normal_form_white.h ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed + ** Mudathir Mohamed, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS - ** in the top-level source directory) and their institutional affiliations. + ** 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/theory/theory_bags_rewriter_white.h b/test/unit/theory/theory_bags_rewriter_white.h index a58e2cdad..98e3cf887 100644 --- a/test/unit/theory/theory_bags_rewriter_white.h +++ b/test/unit/theory/theory_bags_rewriter_white.h @@ -2,10 +2,10 @@ /*! \file theory_bags_rewriter_white.h ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed + ** Mudathir Mohamed, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS - ** in the top-level source directory) and their institutional affiliations. + ** 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/theory/theory_bags_type_rules_white.h b/test/unit/theory/theory_bags_type_rules_white.h index 8d1db858d..825e52669 100644 --- a/test/unit/theory/theory_bags_type_rules_white.h +++ b/test/unit/theory/theory_bags_type_rules_white.h @@ -1,11 +1,11 @@ /********************* */ -/*! \file theory_bags_type_rules_black.h +/*! \file theory_bags_type_rules_white.h ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed + ** Mudathir Mohamed, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS - ** in the top-level source directory) and their institutional affiliations. + ** 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/theory/theory_sets_type_enumerator_white.h b/test/unit/theory/theory_sets_type_enumerator_white.h index 1b5ba1dcb..a100984ba 100644 --- a/test/unit/theory/theory_sets_type_enumerator_white.h +++ b/test/unit/theory/theory_sets_type_enumerator_white.h @@ -2,7 +2,7 @@ /*! \file theory_sets_type_enumerator_white.h ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed, Andres Noetzli, Andrew Reynolds + ** Mudathir Mohamed, Andrew Reynolds, Andres Noetzli ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/theory/theory_sets_type_rules_white.h b/test/unit/theory/theory_sets_type_rules_white.h index 00b012745..59f8186ac 100644 --- a/test/unit/theory/theory_sets_type_rules_white.h +++ b/test/unit/theory/theory_sets_type_rules_white.h @@ -2,10 +2,10 @@ /*! \file theory_sets_type_rules_white.h ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed + ** Mudathir Mohamed, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS - ** in the top-level source directory) and their institutional affiliations. + ** 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/theory/theory_strings_skolem_cache_black.h b/test/unit/theory/theory_strings_skolem_cache_black.h index dd70dd5b9..72a9b7e64 100644 --- a/test/unit/theory/theory_strings_skolem_cache_black.h +++ b/test/unit/theory/theory_strings_skolem_cache_black.h @@ -2,7 +2,7 @@ /*! \file theory_strings_skolem_cache_black.h ** \verbatim ** Top contributors (to current version): - ** Andres Noetzli + ** Andres Noetzli, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/theory/theory_white.h b/test/unit/theory/theory_white.h index f69830fd8..9f23dbad6 100644 --- a/test/unit/theory/theory_white.h +++ b/test/unit/theory/theory_white.h @@ -2,7 +2,7 @@ /*! \file theory_white.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Morgan Deters, Clark Barrett + ** Tim King, Andrew Reynolds, Morgan Deters ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/util/CMakeLists.txt b/test/unit/util/CMakeLists.txt index 148ae9910..3457578df 100644 --- a/test/unit/util/CMakeLists.txt +++ b/test/unit/util/CMakeLists.txt @@ -1,7 +1,7 @@ ##################### ## CMakeLists.txt ## Top contributors (to current version): -## Aina Niemetz, Gereon Kremer, Andres Noetzli +## Aina Niemetz, Yoni Zohar, Gereon Kremer ## This file is part of the CVC4 project. ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. diff --git a/test/unit/util/bitvector_black.h b/test/unit/util/bitvector_black.h index 5b6eecc5f..417410c9e 100644 --- a/test/unit/util/bitvector_black.h +++ b/test/unit/util/bitvector_black.h @@ -2,7 +2,7 @@ /*! \file bitvector_black.h ** \verbatim ** Top contributors (to current version): - ** Andres Noetzli, Christopher L. Conway, Morgan Deters + ** Andres Noetzli, Christopher L. Conway, Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/test/unit/util/output_black.h b/test/unit/util/output_black.h index 00580de63..298aad812 100644 --- a/test/unit/util/output_black.h +++ b/test/unit/util/output_black.h @@ -2,7 +2,7 @@ /*! \file output_black.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Tim King, Andres Noetzli + ** Morgan Deters, Tim King, Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. |