licence

sosy-lab · May 28, 2024 · 9892ffb · 9892ffb
1 parent 3da2bf3
commit 9892ffb
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/doc/quickstart.md b/doc/quickstart.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
+-->
+
 # A Beginner's Guide to Reliable Benchmarking
 
 > If your current setup looks similar to the below example (or you are thinking