diff options
Diffstat (limited to 'test/java')
| -rw-r--r-- | test/java/BitVectors.java | 2 | ||||
| -rw-r--r-- | test/java/BitVectorsAndArrays.java | 2 | ||||
| -rw-r--r-- | test/java/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | test/java/Combination.java | 2 | ||||
| -rw-r--r-- | test/java/HelloWorld.java | 2 | ||||
| -rw-r--r-- | test/java/Issue2846.java | 2 | ||||
| -rw-r--r-- | test/java/LinearArith.java | 2 |
7 files changed, 7 insertions, 7 deletions
diff --git a/test/java/BitVectors.java b/test/java/BitVectors.java index fa803cb16..45f4fef0e 100644 --- a/test/java/BitVectors.java +++ b/test/java/BitVectors.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Pat Hawks, Andres Noetzli, Mathias Preiner ** 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/java/BitVectorsAndArrays.java b/test/java/BitVectorsAndArrays.java index b0c757f93..c40b76433 100644 --- a/test/java/BitVectorsAndArrays.java +++ b/test/java/BitVectorsAndArrays.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Pat Hawks, 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/java/CMakeLists.txt b/test/java/CMakeLists.txt index 46aa71421..713bc00bc 100644 --- a/test/java/CMakeLists.txt +++ b/test/java/CMakeLists.txt @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Mathias Preiner, 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/java/Combination.java b/test/java/Combination.java index bc2740d1c..995209f4e 100644 --- a/test/java/Combination.java +++ b/test/java/Combination.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Pat Hawks, 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/java/HelloWorld.java b/test/java/HelloWorld.java index a534c68d5..7c1021245 100644 --- a/test/java/HelloWorld.java +++ b/test/java/HelloWorld.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Pat Hawks, 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/java/Issue2846.java b/test/java/Issue2846.java index d6d924e12..3f7228df7 100644 --- a/test/java/Issue2846.java +++ b/test/java/Issue2846.java @@ -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/java/LinearArith.java b/test/java/LinearArith.java index 17116c1a4..c768f4289 100644 --- a/test/java/LinearArith.java +++ b/test/java/LinearArith.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Pat Hawks, 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 |