In-order verify barrier

[malsyned]

It would be useful to be able to specify that certain calls have to happen as a result of certain function calls. Something like this:

in_order_verify(o, call1); in_order_barrier_verify(o); in_order_verify(o, call2);

func(); in_order_barrier(); func();

[malsyned]

This can be hacked up pretty easily by something like:

automock: void in_order_barrier(void);

define in_order_barrier_verify(order) in_order_verify(order, when(mock_in_order_barrier))