doganulus / reelay

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

https://doganulus.github.io/reelay/

doganulus/reelay Stargazers