MicroTESK

Make an example.

One should implement an engine that takes branch and non-branch instructions as well as blocks and generates various control flows and execution traces.

block(:engine => BRANCH, :max-trace-length = 10, :control-flow = EXHAUSTIVE|RANDOM, :count = 100) {
  bne
  j
  block {
    add r1, r2, r3
    sub r4, r5, r5
  }
  fdiv f1, f2, f3
  nop
}