TEST::LECTROTEST::PROPERTY(3PM) - manual page | Library functions

Properties that make testable claims about your software.