# imports
from ...

class mySuiteOfStuff:

    @formalVerification
    def shouldVerifyThis(context:VerificationContext): # at least a top module to setup assert/covers etc...
        # update the context

    @formalVerification
    def shouldVerifyThat(c:VerificationContext): # for more concise writing ; and one can have disjointed sets of verifications
        # update the context
        # of course, a new context is regenerated between each call

    @simulation
    def simulateThisCase(context:SimulationContext): # at least a simulator instance and a Module to setup
        # update the context

    @simulation
    def simulateThatCase(c: SimulationContext): # again, several simulation can be defined
        # update the context

    @BeforeAllVerification
    def setupGlobalVerification(...): # did I say that I am heavily inspired by JUnit ?
        # return something ? or update a provided context ?

    @BeforeEachVerification
    def setupOneVerification(...): # remainder the function name is free, the decorator is there to spot the function of interest
        # return something ? or update a provided context ?

    @AfterEachVerification
    def tearDownOneVerification(...) : #....
        #etc...

    @AfterAllVerification
    def tearDownAllVerifications(...) : #...
        # etc...

    # And the same for simulation, but it's so long
    # @{Before|After}{All|Each}Simulation

### Launcher ###
if __name__ == "__main__":
    main(..., suite=mySuiteOfStuff)