Adding contract usecases#5

Draft

bogdan-manole wants to merge 7 commits intofeat/threat-modelfrom

chore-testing-interface-five-contracts

Commits on Mar 5, 2026

Adding vesting contract and test suite for it
sfeitosa
committed
Adjusting test suite to allow locking more than once
sfeitosa
committed
Property-based tests with TestingInterface for the Vesting contract
sfeitosa
committed
Adding auction contract and test suite for it
sfeitosa
committed
Adding the auction and vesting use cases with their respective tests and utilities. This includes refactoring the directory structure to better organize the code related to each use case, and updat…
sfeitosa
committed
Adjusting back the parameters to the original.
sfeitosa
committed
Implementing the TestingInteface for the Auction contract.
sfeitosa
committed