start_servers_tiny_debug.ps1

$num_servers = 3
$threshold = 2
$num_clients = 3
$num_channels = 6

# all time units are in ms
$electionRange = '1500..4500'
$heartbeatInterval = 50

# length of share/recover phase (so round length is 2*phaseLength)
$phaseLength = 500

# grpc transport timeout for both client and server
$timeoutMs = 3000

$exe = ".\target\debug\runner.exe"

. .\set_logging.ps1
. .\start_servers.ps1