apply spotless changes

tudo-aqua · Jan 18, 2024 · fa9b796 · fa9b796
1 parent b5fe554
commit fa9b796
Show file tree

Hide file tree

Showing 16 changed files with 16 additions and 16 deletions.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -1,5 +1,5 @@
 #
-# Copyright 2019-2023 The Z3-TurnKey Authors
+# Copyright 2019-2024 The Z3-TurnKey Authors
 # SPDX-License-Identifier: ISC
 #
 # Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -1,5 +1,5 @@
 #
-# Copyright 2019-2023 The Z3-TurnKey Authors
+# Copyright 2019-2024 The Z3-TurnKey Authors
 # SPDX-License-Identifier: ISC
 #
 # Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/build.gradle.kts b/build.gradle.kts
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/buildSrc/build.gradle.kts b/buildSrc/build.gradle.kts
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/buildSrc/src/main/kotlin/tools/aqua/InstallNameToolTask.kt b/buildSrc/src/main/kotlin/tools/aqua/InstallNameToolTask.kt
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/buildSrc/src/main/kotlin/tools/aqua/NativeRewriter.kt b/buildSrc/src/main/kotlin/tools/aqua/NativeRewriter.kt
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/buildSrc/src/main/kotlin/tools/aqua/Tests.kt b/buildSrc/src/main/kotlin/tools/aqua/Tests.kt
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/buildSrc/src/main/kotlin/tools/aqua/Utils.kt b/buildSrc/src/main/kotlin/tools/aqua/Utils.kt
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/buildSrc/src/main/kotlin/tools/aqua/Versions.kt b/buildSrc/src/main/kotlin/tools/aqua/Versions.kt
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/buildSrc/src/main/kotlin/tools/aqua/Z3Distribution.kt b/buildSrc/src/main/kotlin/tools/aqua/Z3Distribution.kt
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/buildSrc/src/main/kotlin/tools/aqua/Z3GeneratorTask.kt b/buildSrc/src/main/kotlin/tools/aqua/Z3GeneratorTask.kt
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/settings.gradle.kts b/settings.gradle.kts
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/src/main/java/com/microsoft/z3/Z3Loader.java b/src/main/java/com/microsoft/z3/Z3Loader.java
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/src/test/java/tools/aqua/z3turnkey/ShutdownHookTest.java b/src/test/java/tools/aqua/z3turnkey/ShutdownHookTest.java
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/src/test/java/tools/aqua/z3turnkey/SolverInteractionTest.java b/src/test/java/tools/aqua/z3turnkey/SolverInteractionTest.java
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby

diff --git a/src/test/java/tools/aqua/z3turnkey/Z3LoaderTest.java b/src/test/java/tools/aqua/z3turnkey/Z3LoaderTest.java
@@ -1,5 +1,5 @@
 /*
- * Copyright 2019-2023 The Z3-TurnKey Authors
+ * Copyright 2019-2024 The Z3-TurnKey Authors
  * SPDX-License-Identifier: ISC
  *
  * Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby