Hello!
In case if someone will look for a workaround - it is possible to use "notices N" mark.\
Instead of
step before {
SELECT injection_points_run('injection-points-wait-2');
}
use something like:
step before {
DO $$
BEGIN
PERFORM injection_points_run('injection-points-wait-2');
RAISE NOTICE 'before is complete';
END $$
}
and then:
permutation
after(before notices 1)
before
detach1
wakeup1
detach2
wakeup2
permutation
after(before notices 1)
wakeup1
before
detach1
detach2
wakeup2
in such a case, both permutations report "before" to be completed before "after", not after.
Best regards,
Michail.
