reelay icon indicating copy to clipboard operation
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...