Separate timeouts for measure inference

[samuelchassot]

I think it would be better to have a separate timeout option for the measure inferences. It is indeed quite impractical in some cases: for example, when running on battery, the CPU's frequency is reduced and thus measures inference times out, but having 30sec timeout for all other conditions makes the development slow (when multiple asserts/post conditions time out).