This is the core functionality for the ContractCase Contract testing framework. If you want to use it, you probably want the DSL package instead

_{Briefcase sticker created by Gohsantosadrive on Flaticon}

Read the documentation here.

You almost certainly want to install this package instead.