Test case for deadlock detection