doganulus / reelay Goto Github PK
View Code? Open in Web Editor NEWA header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Home Page: https://doganulus.github.io/reelay/
License: Mozilla Public License 2.0