Minor update of the tests files

echentao · Apr 13, 2019 · ca6c414 · ca6c414
1 parent b819a88
commit ca6c414
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/tests/__init__.py b/tests/__init__.py
@@ -0,0 +1,22 @@
+"""A simple Python Model Checking package
+
+.. moduleauthor:: Alberto Casagrande <acasagrande@units.it>
+
+"""
+
+__author__ = "Alberto Casagrande"
+__copyright__ = "Copyright 2015-2019"
+__credits__ = ["Alberto Casagrande"]
+__license__ = "GPL"
+__release__ = "1.0"
+__subrelease__ = "1"
+__version__ = __release__+"."+__subrelease__
+__maintainer__ = "Alberto Casagrande"
+__email__ = "acasagrande@units.it"
+__status__ = "Development"
+
+
+name = "pyModelChecking"
+
+from .kripke import *
+