exp-drd/tests/tc15_laog_lockdel.stderr.exp

Establish order 1 -> 2
Try order 2 -> 1.  This gives an error.
Free 2 and re-allocate it.  This gives it a new identity,
so a second locking sequence 2 -> 1 should now be OK.
done

ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)