Merge branch 'devel' into security/bounded-stringssecurity/bounded-strings

21 files changed, 21 insertions, 21 deletions

diff --git a/tests/Progmasoft/BUILD.bazel b/tests/Progmasoft/BUILD.bazel
index 9b94bacf..b95c5b44 100644
--- a/tests/Progmasoft/BUILD.bazel
+++ b/tests/Progmasoft/BUILD.bazel
@@ -1,5 +1,5 @@
 # Copyright (c) 2026 Progmasoft.
-# SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+# SPDX-License-Identifier: LGPL-3.0-or-later
 load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_test")
 
 package(default_visibility = ["//visibility:public"])
diff --git a/tests/Progmasoft/CoverageFixture.cpp b/tests/Progmasoft/CoverageFixture.cpp
index e728bbca..15e9aafa 100644
--- a/tests/Progmasoft/CoverageFixture.cpp
+++ b/tests/Progmasoft/CoverageFixture.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 // A test binary built with coverage instrumentation, for the integration
 // tests of `--coverage`: each test reaches lines the other does not. The
diff --git a/tests/Progmasoft/ForAll.tests.cpp b/tests/Progmasoft/ForAll.tests.cpp
index 72484d0b..f819d877 100644
--- a/tests/Progmasoft/ForAll.tests.cpp
+++ b/tests/Progmasoft/ForAll.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 #include <Progmasoft/Catch3.hpp>
 
 #include <algorithm>
diff --git a/tests/Progmasoft/Generators.tests.cpp b/tests/Progmasoft/Generators.tests.cpp
index 74dae662..e6a91d27 100644
--- a/tests/Progmasoft/Generators.tests.cpp
+++ b/tests/Progmasoft/Generators.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 #include <Progmasoft/Catch3.hpp>
 
 #include <algorithm>
diff --git a/tests/Progmasoft/Mock.tests.cpp b/tests/Progmasoft/Mock.tests.cpp
index a5213e51..9542a166 100644
--- a/tests/Progmasoft/Mock.tests.cpp
+++ b/tests/Progmasoft/Mock.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 #include <Progmasoft/Catch3/Matchers/Contains.hpp>
 #include <Progmasoft/Catch3/Matchers/String.hpp>
diff --git a/tests/Progmasoft/Property.tests.cpp b/tests/Progmasoft/Property.tests.cpp
index 38b92ebb..0393ce50 100644
--- a/tests/Progmasoft/Property.tests.cpp
+++ b/tests/Progmasoft/Property.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 #include <Progmasoft/Catch3.hpp>
 
 #include <algorithm>
diff --git a/tests/Progmasoft/Results.tests.cpp b/tests/Progmasoft/Results.tests.cpp
index 21631c48..74e949ec 100644
--- a/tests/Progmasoft/Results.tests.cpp
+++ b/tests/Progmasoft/Results.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 #include <Progmasoft/Catch3/Results.hpp>
 #include <Progmasoft/Catch3/XmlWriter.hpp>
 
diff --git a/tests/Progmasoft/Runner.tests.cpp b/tests/Progmasoft/Runner.tests.cpp
index 66586f77..ae20fc12 100644
--- a/tests/Progmasoft/Runner.tests.cpp
+++ b/tests/Progmasoft/Runner.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 // Starts the runner fixture and checks what the runner made of its tests.
 
diff --git a/tests/Progmasoft/RunnerAnalysis.tests.cpp b/tests/Progmasoft/RunnerAnalysis.tests.cpp
index a3e6476b..dd2be52b 100644
--- a/tests/Progmasoft/RunnerAnalysis.tests.cpp
+++ b/tests/Progmasoft/RunnerAnalysis.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 // What the runner writes down about a failure: how it relates to earlier
 // runs and to other failures, where it stopped, what changed and how to
diff --git a/tests/Progmasoft/RunnerConfig.tests.cpp b/tests/Progmasoft/RunnerConfig.tests.cpp
index 2451da8b..3d65f7b0 100644
--- a/tests/Progmasoft/RunnerConfig.tests.cpp
+++ b/tests/Progmasoft/RunnerConfig.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 // catch3.json: where it is found, what its keys set, how the command line
 // wins over it and how a wrong file is explained.
diff --git a/tests/Progmasoft/RunnerCoverage.tests.cpp b/tests/Progmasoft/RunnerCoverage.tests.cpp
index b3e10489..66724bfb 100644
--- a/tests/Progmasoft/RunnerCoverage.tests.cpp
+++ b/tests/Progmasoft/RunnerCoverage.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 // Per-test coverage: `--coverage`, the formats its reports read and write,
 // and a run of a binary built with coverage instrumentation.
diff --git a/tests/Progmasoft/RunnerFixture.cpp b/tests/Progmasoft/RunnerFixture.cpp
index 3a61d05c..0c65ddbd 100644
--- a/tests/Progmasoft/RunnerFixture.cpp
+++ b/tests/Progmasoft/RunnerFixture.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 // A test binary whose tests misbehave on purpose. The runner's integration
 // tests start it and check what the runner made of each misbehaviour.
diff --git a/tests/Progmasoft/RunnerFixtureClient.hpp b/tests/Progmasoft/RunnerFixtureClient.hpp
index beeef059..239d88d5 100644
--- a/tests/Progmasoft/RunnerFixtureClient.hpp
+++ b/tests/Progmasoft/RunnerFixtureClient.hpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 #pragma once
 
 // What the runner's integration tests share: finding the fixture binary,
diff --git a/tests/Progmasoft/RunnerImport.tests.cpp b/tests/Progmasoft/RunnerImport.tests.cpp
index 3872e1fd..d76ba37b 100644
--- a/tests/Progmasoft/RunnerImport.tests.cpp
+++ b/tests/Progmasoft/RunnerImport.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 // Reading the reports of other test frameworks, and what `--import` does with
 // them.
diff --git a/tests/Progmasoft/RunnerOptions.tests.cpp b/tests/Progmasoft/RunnerOptions.tests.cpp
index 37d35d33..d7185eb7 100644
--- a/tests/Progmasoft/RunnerOptions.tests.cpp
+++ b/tests/Progmasoft/RunnerOptions.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 // Every option of the runner's command line: how it is spelled, what it
 // sets and how a wrong value is explained.
diff --git a/tests/Progmasoft/RunnerOutput.tests.cpp b/tests/Progmasoft/RunnerOutput.tests.cpp
index 63d08e55..74a44803 100644
--- a/tests/Progmasoft/RunnerOutput.tests.cpp
+++ b/tests/Progmasoft/RunnerOutput.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 // What the runner prints and returns: its modes, the console report, the
 // exit codes and Bazel's test environment.
diff --git a/tests/Progmasoft/RunnerPlanner.tests.cpp b/tests/Progmasoft/RunnerPlanner.tests.cpp
index 37508ea4..1ce707ed 100644
--- a/tests/Progmasoft/RunnerPlanner.tests.cpp
+++ b/tests/Progmasoft/RunnerPlanner.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 
 // The planner decides which tests run, where, in which order and under
 // which limits, from the options, the history and the changed files. These
diff --git a/tests/Progmasoft/RunnerUnits.tests.cpp b/tests/Progmasoft/RunnerUnits.tests.cpp
index 808ca340..bc255eec 100644
--- a/tests/Progmasoft/RunnerUnits.tests.cpp
+++ b/tests/Progmasoft/RunnerUnits.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 #include <Progmasoft/Runner/Analysis.hpp>
 #include <Progmasoft/Runner/Files.hpp>
 #include <Progmasoft/Runner/Git.hpp>
diff --git a/tests/Progmasoft/Snapshot.tests.cpp b/tests/Progmasoft/Snapshot.tests.cpp
index 02a41a9f..cad98bcd 100644
--- a/tests/Progmasoft/Snapshot.tests.cpp
+++ b/tests/Progmasoft/Snapshot.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 #include <Progmasoft/Catch3.hpp>
 
 #include <atomic>
diff --git a/tests/Progmasoft/Stateful.tests.cpp b/tests/Progmasoft/Stateful.tests.cpp
index 3f0b1cbf..36897dd6 100644
--- a/tests/Progmasoft/Stateful.tests.cpp
+++ b/tests/Progmasoft/Stateful.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 #include <Progmasoft/Catch3.hpp>
 
 #include <cstddef>
diff --git a/tests/Progmasoft/Strategy.tests.cpp b/tests/Progmasoft/Strategy.tests.cpp
index f2926865..2a294b60 100644
--- a/tests/Progmasoft/Strategy.tests.cpp
+++ b/tests/Progmasoft/Strategy.tests.cpp
@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Progmasoft.
-// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
+// SPDX-License-Identifier: LGPL-3.0-or-later
 #include <Progmasoft/Catch3.hpp>
 
 #include <algorithm>