__init__.py 308 Bytes
Newer Older
Maxime Perrotin's avatar
Maxime Perrotin committed
1
2
3
4
5
6
7
8
9
10
11
#!/usr/bin/env python
# -*- coding: utf-8 -*-

"""
    Taste Properties parses "stop if" conditions, check semantics against
    an opengeode model, and generate Ada code to verify the stop conditions,
    for use in a model checker or simulator.
"""

import properties 
__version__ = properties.__version__