MicroTESK

If there are dependent instructions, e.g.

  add a, b, c @ normal
  sub d, a, e @ overflow

the generator produces incorrect initialization code: it does not track dependencies between instructions and handles each instruction independently from the others.

The correct implementation should work as follows:

for each instruction of the test sequence do
  get the test situation of the instruction
  get the input values defined by the previous instructions
  fix those values in the test situation
  solve the restricted constraint and assign the rest of the parameters
    mark them as 'defined'
  simulate the instruction and produce the output values
    mark them as 'defined' (if there was no exception, etc.)
end

for each defined parameter do
  add the initialization code for the parameter
end