about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
authorMarko Dimjašević <marko@cs.utah.edu>2016-02-23 23:09:28 -0700
committerMarko Dimjašević <marko@cs.utah.edu>2016-02-23 23:09:28 -0700
commit1aef38cd48413b8c1fa94ea42256d313cf6e58d8 (patch)
tree048d599c9fe1125d4e81057e58ec5203ee1c326c /tools
parentf76b6c5fe0ce8920ee6edb13802f857dae49e785 (diff)
downloadklee-1aef38cd48413b8c1fa94ea42256d313cf6e58d8.tar.gz
Added missing copyright headers per klee/issue #301
Diffstat (limited to 'tools')
-rw-r--r--tools/gen-random-bout/gen-random-bout.cpp9
-rw-r--r--tools/kleaver/main.cpp9
-rwxr-xr-xtools/klee-stats/klee-stats10
-rw-r--r--tools/klee/main.cpp9
-rwxr-xr-xtools/ktest-tool/ktest-tool9
5 files changed, 46 insertions, 0 deletions
diff --git a/tools/gen-random-bout/gen-random-bout.cpp b/tools/gen-random-bout/gen-random-bout.cpp
index 46f662dd..fca24008 100644
--- a/tools/gen-random-bout/gen-random-bout.cpp
+++ b/tools/gen-random-bout/gen-random-bout.cpp
@@ -1,3 +1,12 @@
+//===-- gen-random-bout.cpp -------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 #include <assert.h>
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index edc5f4c9..9c374eb8 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -1,3 +1,12 @@
+//===-- main.cpp ------------------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 #include "expr/Lexer.h"
 #include "expr/Parser.h"
 
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats
index 6ed772cd..93ae33d5 100755
--- a/tools/klee-stats/klee-stats
+++ b/tools/klee-stats/klee-stats
@@ -1,5 +1,15 @@
 #!/usr/bin/env python
 # -*- encoding: utf-8 -*-
+
+# ===-- klee-stats --------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 """Output statistics logged by Klee."""
 
 # use '/' to mean true division and '//' to mean floor division
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 665cc842..bb09ce64 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -1,5 +1,14 @@
 /* -*- mode: c++; c-basic-offset: 2; -*- */
 
+//===-- main.cpp ------------------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 #include "klee/ExecutionState.h"
 #include "klee/Expr.h"
 #include "klee/Interpreter.h"
diff --git a/tools/ktest-tool/ktest-tool b/tools/ktest-tool/ktest-tool
index b7504be8..b73c6375 100755
--- a/tools/ktest-tool/ktest-tool
+++ b/tools/ktest-tool/ktest-tool
@@ -1,5 +1,14 @@
 #!/usr/bin/env python
 
+# ===-- ktest-tool --------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import os
 import struct
 import sys