about summary refs log tree commit diff homepage
path: root/scripts/IStatsSum.py
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/IStatsSum.py')
-rwxr-xr-xscripts/IStatsSum.py9
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/IStatsSum.py b/scripts/IStatsSum.py
index ce680c7b..0546e895 100755
--- a/scripts/IStatsSum.py
+++ b/scripts/IStatsSum.py
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- IStatsSum.py ------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 
 import sys, os