[DO NOT MERGE] Add failure network tests.

[aoli-al]

No description provided.

[Copilot]

Pull Request Overview

This pull request aims to add failure network tests by updating the network test execution in FrayTestCase and introducing a new SelectorTest class to simulate network interactions.

• Updated FrayTestCase to invoke SelectorTest for network failure testing.
• Added SelectorTest to implement a server-client messaging scenario using Java NIO.
• Integrated the network tests within the existing testing framework.

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
integration-test/src/test/java/org/pastalab/fray/test/FrayTestCase.java	Modified the test to run SelectorTest instead of ThreadInterruptWithReentrantLockUnlock
integration-test/src/main/java/org/pastalab/fray/test/success/network/SelectorTest.java	New file implementing a network test using Java NIO for server-client communication

Comments suppressed due to low confidence (1)

integration-test/src/main/java/org/pastalab/fray/test/success/network/SelectorTest.java:25

• [nitpick] Consider joining the server thread and client threads or implementing a synchronization mechanism to ensure the test waits for all threads to complete before terminating.

serverThread.start();

[Copilot]

After reading the message from the buffer and consuming it, consider using buffer.rewind() instead of a second flip() to properly reset the position for writing back to the client.

Suggested change

	buffer.flip();
	buffer.rewind();