MicroTESK

A block is a static structure specifying a verification scenario. By default, a block is active, which means that the corresponding test engine is executed right after the creation of the block structure.

There is a need to reuse blocks. The goal is to declare a block (as a static structure) and then activate them by request.

myBlock = block(...) {
  atomic {
    ...
  }
  block {
    ...
  }
}

myBlock.run(N)

block(...) {
  myBlock.add
  block {}
}.run

Block is passive!!!