MicroTESK

See the following example. The symbol "_" substitutes some immediate value that should be used to construct the situation.
Unfortunately, it is impossible to use random values in such a way now.

    100.times {
      atomic {
       # ADD instruction with biased operand values.
        add x0, x1, _, 0 do situation('AddGeneral.IntegerOverflow') end
      }
    }