Expand description
This module defines Property-based tests for the SRS trait. It includes tests regarding methods the SRS trait should implement. It aims to verify the implementation respects the properties described in the documentation of the methods.