diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-09-22 09:51:56 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-22 09:51:56 -0700 |
commit | e3cd4670a080554e4ae1f2f26ee4353d11f02f6b (patch) | |
tree | bf03ce325ee971b155fe509182c4ba75bf5a2ba2 /test/unit/util | |
parent | e969318f12d4e8ee01b12933e9e60fafafd96963 (diff) |
Update copyright header script to support CMake and Python files (#5067)
This PR updates the update-copyright.pl script to also update/add copyright headers to CMake specific files. It further fixes a small typo in the header.
Diffstat (limited to 'test/unit/util')
-rw-r--r-- | test/unit/util/CMakeLists.txt | 10 | ||||
-rw-r--r-- | test/unit/util/array_store_all_white.h | 4 | ||||
-rw-r--r-- | test/unit/util/assert_white.h | 2 | ||||
-rw-r--r-- | test/unit/util/binary_heap_black.h | 2 | ||||
-rw-r--r-- | test/unit/util/bitvector_black.h | 2 | ||||
-rw-r--r-- | test/unit/util/boolean_simplification_black.h | 2 | ||||
-rw-r--r-- | test/unit/util/cardinality_public.h | 2 | ||||
-rw-r--r-- | test/unit/util/check_white.h | 2 | ||||
-rw-r--r-- | test/unit/util/configuration_black.h | 2 | ||||
-rw-r--r-- | test/unit/util/datatype_black.h | 4 | ||||
-rw-r--r-- | test/unit/util/exception_black.h | 2 | ||||
-rw-r--r-- | test/unit/util/integer_black.h | 2 | ||||
-rw-r--r-- | test/unit/util/integer_white.h | 2 | ||||
-rw-r--r-- | test/unit/util/output_black.h | 2 | ||||
-rw-r--r-- | test/unit/util/rational_black.h | 2 | ||||
-rw-r--r-- | test/unit/util/rational_white.h | 2 | ||||
-rw-r--r-- | test/unit/util/real_algebraic_number_black.h | 2 | ||||
-rw-r--r-- | test/unit/util/stats_black.h | 2 |
18 files changed, 29 insertions, 19 deletions
diff --git a/test/unit/util/CMakeLists.txt b/test/unit/util/CMakeLists.txt index c28869dbd..5312342a2 100644 --- a/test/unit/util/CMakeLists.txt +++ b/test/unit/util/CMakeLists.txt @@ -1,3 +1,13 @@ +##################### +## CMakeLists.txt +## Top contributors (to current version): +## Aina Niemetz, Gereon Kremer, 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. +## All rights reserved. See the file COPYING in the top-level source +## directory for licensing information. +## #-----------------------------------------------------------------------------# # Add unit tests diff --git a/test/unit/util/array_store_all_white.h b/test/unit/util/array_store_all_white.h index a027d86ce..2e107f668 100644 --- a/test/unit/util/array_store_all_white.h +++ b/test/unit/util/array_store_all_white.h @@ -2,10 +2,10 @@ /*! \file array_store_all_white.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Morgan Deters, Mathias Preiner + ** Andres Noetzli, Morgan Deters, Clark Barrett ** 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/util/assert_white.h b/test/unit/util/assert_white.h index b36403917..917f59aa0 100644 --- a/test/unit/util/assert_white.h +++ b/test/unit/util/assert_white.h @@ -5,7 +5,7 @@ ** Mathias Preiner, Morgan Deters, 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. + ** 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/util/binary_heap_black.h b/test/unit/util/binary_heap_black.h index 41d683fde..9514b62e9 100644 --- a/test/unit/util/binary_heap_black.h +++ b/test/unit/util/binary_heap_black.h @@ -5,7 +5,7 @@ ** Morgan Deters, Mathias Preiner, 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. + ** 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/util/bitvector_black.h b/test/unit/util/bitvector_black.h index e881777ea..7fba53adc 100644 --- a/test/unit/util/bitvector_black.h +++ b/test/unit/util/bitvector_black.h @@ -5,7 +5,7 @@ ** Andres Noetzli, Christopher L. Conway, 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. + ** 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/util/boolean_simplification_black.h b/test/unit/util/boolean_simplification_black.h index afaa54fb8..bb1c58581 100644 --- a/test/unit/util/boolean_simplification_black.h +++ b/test/unit/util/boolean_simplification_black.h @@ -5,7 +5,7 @@ ** Morgan Deters, 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. + ** 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/util/cardinality_public.h b/test/unit/util/cardinality_public.h index 01274fbad..fad2019e0 100644 --- a/test/unit/util/cardinality_public.h +++ b/test/unit/util/cardinality_public.h @@ -5,7 +5,7 @@ ** Morgan Deters, 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. + ** 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/util/check_white.h b/test/unit/util/check_white.h index 14b6a9c47..802ff5118 100644 --- a/test/unit/util/check_white.h +++ b/test/unit/util/check_white.h @@ -5,7 +5,7 @@ ** Tim King, Mathias Preiner ** 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/util/configuration_black.h b/test/unit/util/configuration_black.h index a40a1d1f0..ef9234a42 100644 --- a/test/unit/util/configuration_black.h +++ b/test/unit/util/configuration_black.h @@ -5,7 +5,7 @@ ** 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. + ** 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/util/datatype_black.h b/test/unit/util/datatype_black.h index 6d92668be..5fe277520 100644 --- a/test/unit/util/datatype_black.h +++ b/test/unit/util/datatype_black.h @@ -2,10 +2,10 @@ /*! \file datatype_black.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Andrew Reynolds, Andres Noetzli + ** Andrew Reynolds, Morgan Deters, 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. + ** 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/util/exception_black.h b/test/unit/util/exception_black.h index c8c9c02fe..a475f226e 100644 --- a/test/unit/util/exception_black.h +++ b/test/unit/util/exception_black.h @@ -5,7 +5,7 @@ ** Morgan Deters, 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. + ** 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/util/integer_black.h b/test/unit/util/integer_black.h index ae0a6d2cb..ccceefac6 100644 --- a/test/unit/util/integer_black.h +++ b/test/unit/util/integer_black.h @@ -5,7 +5,7 @@ ** Tim King, Aina Niemetz, 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. + ** 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/util/integer_white.h b/test/unit/util/integer_white.h index 759693f2b..9ba275672 100644 --- a/test/unit/util/integer_white.h +++ b/test/unit/util/integer_white.h @@ -5,7 +5,7 @@ ** Tim King, 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. + ** 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/util/output_black.h b/test/unit/util/output_black.h index 9acefdcd9..5d6098060 100644 --- a/test/unit/util/output_black.h +++ b/test/unit/util/output_black.h @@ -5,7 +5,7 @@ ** Morgan Deters, Tim King, 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. + ** 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/util/rational_black.h b/test/unit/util/rational_black.h index 35a7050d3..3592bd31d 100644 --- a/test/unit/util/rational_black.h +++ b/test/unit/util/rational_black.h @@ -5,7 +5,7 @@ ** Christopher L. Conway ** 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/util/rational_white.h b/test/unit/util/rational_white.h index 8ad93a168..5dc6621f5 100644 --- a/test/unit/util/rational_white.h +++ b/test/unit/util/rational_white.h @@ -5,7 +5,7 @@ ** Tim King, 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. + ** 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/util/real_algebraic_number_black.h b/test/unit/util/real_algebraic_number_black.h index 5fb41b50d..fbe8065a9 100644 --- a/test/unit/util/real_algebraic_number_black.h +++ b/test/unit/util/real_algebraic_number_black.h @@ -5,7 +5,7 @@ ** 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. + ** 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/util/stats_black.h b/test/unit/util/stats_black.h index 77f74f930..02f6dc202 100644 --- a/test/unit/util/stats_black.h +++ b/test/unit/util/stats_black.h @@ -5,7 +5,7 @@ ** Andres Noetzli, Morgan Deters, 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. + ** 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 ** |