This repository was archived by the owner on Sep 27, 2023. It is now read-only.

Refactor to increase readability#30

Open

Allarious wants to merge 6 commits intoCertora:masterfrom

Allarious:master

Commits on Mar 7, 2023

refactored checkPendingToCancelledOrStarted to increase readability
allarious
committed
refactored checkPendingToCancelledOrStarted to increase readability
allarious
committed
refactored checkStartedToStateTransition to increase readability
allarious
committed
corrected the checkStartedToStateTransition specification
allarious
committed
refactored integrityOfTransfer to improve readability
allarious
committed

Commits on Mar 8, 2023

fixed a typo inside auctionBroken
allarious
committed