reelay
reelay copied to clipboard
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Results
3
reelay issues
Sort by
recently updated
recently updated
newest added
I have fixed a broken link to the behaviors doc.
Hi, the links in the python getting started bit (https://github.com/doganulus/reelay/blob/master/docs/gs_python.md) need updating. * The source code of this tutorial can be found here -> https://github.com/doganulus/reelay/tree/master/apps/tutorial/door_open_warning/python * If you haven't already,...
Hi, I have a time serie that contains two data, let's say 'x' and 'y'. I want to create a monitor that compares these two data. However, it seems that...