src/test/java/testing/protocols/AllProtocolsTestSuite.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

package testing.protocols;

import org.junit.platform.suite.api.*;

/**
 * Test suite that runs all protocol tests.
 * This ensures all protocol simulations are tested when running unit tests.
 */
@Suite
@SuiteDisplayName("DS-Sim Protocol Test Suite")
@SelectClasses({
    // Basic protocols
    PingPongProtocolTest.class,
    PingPongSturmProtocolTest.class,
    BroadcastProtocolTest.class,
    BasicMulticastProtocolTest.class,
    ReliableMulticastProtocolTest.class,
    
    // Time synchronization protocols
    BerkeleyProtocolTest.class,
    TimeSynchronizationProtocolTest.class,
    
    // Commit protocols
    CommitProtocolTest.class,
    
    // Network simulation
    SlowConnectionProtocolTest.class
    
    // Note: Raft tests are excluded as requested
})
@IncludeClassNamePatterns(".*Test")
public class AllProtocolsTestSuite {
    // This class remains empty. It is used only as a holder for the above annotations
}