Utility library that helps expressing invariants in types
-
Updated
Mar 28, 2023 - C++
Utility library that helps expressing invariants in types
A lightweight error/warning/debug assertion library in C++11
Lighter is a header-only library in C++20 to check assertions.
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Add a description, image, and links to the assertion-library topic page so that developers can more easily learn about it.
To associate your repository with the assertion-library topic, visit your repo's landing page and select "manage topics."