PyPI page
Home page
Author:
André Santos
License:
MIT
Summary:
Tools to enable Runtime Verification from HPL properties
Latest version:
1.2.0
Required dependencies:
attrs
|
bottle
|
bottle-websocket
|
gevent
|
hpl-specs
|
jinja2
Optional dependencies:
pytest
|
tox
Downloads last day:
0
Downloads last week:
11
Downloads last month:
30