licence

sosy-lab · Jun 6, 2024 · 5d0bb80 · 5d0bb80
1 parent 5ca96ee
commit 5d0bb80
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/doc/benchexec-in-container.md b/doc/benchexec-in-container.md
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 # BenchExec: Containerized Environments
 
 This document explains the complications of using BenchExec inside