PSharpBatch.config

<?xml version="1.0"?>
<PSharpBatchConfig xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">

	<!-- Id of the Azure Batch pool to be created if does not exists -->
	<PoolId>ExamplePoolId</PoolId>

	<!-- Prefix of the Job ID (a timestamp will be appended to it) -->
	<JobDefaultId>ExampleJobId</JobDefaultId>

	<!-- Prefix of the task id. (a timestamp will be appended to it) -->
	<TaskDefaultId>TaskIdPrefix</TaskDefaultId>

	<!-- Blob access key expiry hours. Enter -1 for infinite expiry hours. -->
	<BlobContainerExpiryHours>1</BlobContainerExpiryHours>

	<!-- Number of nodes to create (minimum of 2 nodes required) -->
	<NumberOfNodesInPool>2</NumberOfNodesInPool>

	<!-- Path to the PSharp Framework\binaries folder -->
	<PSharpFramework\binariesFolderPath>..\Framework\bin\net46</PSharpFramework\binariesFolderPath>

	<!-- Path to the output folder -->
	<OutputFolderPath>.\Output</OutputFolderPath>

	<!-- Wait time for monitoring tasks, beyond which the tasks will be terminated -->
	<TaskWaitHours>1</TaskWaitHours>

	<!-- Job deletion details -->
	<DeleteJobAfterDone>true</DeleteJobAfterDone>
	<DeleteContainerAfterDone>true</DeleteContainerAfterDone>

  <!-- Test run location -->
  <RunLocally>false</RunLocally>

  <Declarations>
    <Declare Name="Iterations" Value="2500"/>
    <Declare Name="MaxSteps" Value="100"/>
    <Declare Name="Parallelism" Value="4"/>
  </Declarations>

	<Tests>
		<Test Name="Test1">
			<ApplicationPath>.\Framework\bin\net46\BoundedAsync.exe</ApplicationPath>
			<Command Name="BoundedAsync" Flags="/i:%Iterations% /max-steps:%MaxSteps% /explore /sch:portfolio /parallel:%Parallelism%"/>
		</Test>
    <Test Name="Test2">
      <ApplicationPath>.\Framework\bin\net46\CacheCoherence.exe</ApplicationPath>
      <Command Name="CacheCoherence" Flags="/i:%Iterations% /max-steps:%MaxSteps% /explore /sch:portfolio /parallel:%Parallelism%"/>
    </Test>
    <Test Name="Test3">
      <ApplicationPath>.\Framework\bin\net46\ChainReplication.exe</ApplicationPath>
      <Command Name="ChainReplication" Flags="/i:%Iterations% /max-steps:%MaxSteps% /explore /sch:portfolio /parallel:%Parallelism%"/>
    </Test>
    <Test Name="Test4">
      <ApplicationPath>.\Framework\bin\net46\Chord.exe</ApplicationPath>
      <Command Name="Chord" Flags="/i:%Iterations% /max-steps:%MaxSteps% /explore /sch:portfolio /parallel:%Parallelism%"/>
    </Test>
    <Test Name="Test5">
      <ApplicationPath>.\Framework\bin\net46\MultiPaxos.exe</ApplicationPath>
      <Command Name="MultiPaxos" Flags="/i:%Iterations% /max-steps:%MaxSteps% /explore /sch:portfolio /parallel:%Parallelism%"/>
    </Test>
    <Test Name="Test6">
      <ApplicationPath>.\Framework\bin\net46\Raft.exe</ApplicationPath>
      <Command Name="Raft" Flags="/i:%Iterations% /max-steps:%MaxSteps% /explore /sch:portfolio /parallel:%Parallelism%"/>
    </Test>
    <Test Name="Test7">
      <ApplicationPath>.\Framework\bin\net46\ReplicatingStorage.exe</ApplicationPath>
      <Command Name="ReplicatingStorage" Flags="/i:%Iterations% /max-steps:%MaxSteps% /explore /sch:portfolio /parallel:%Parallelism%"/>
    </Test>
    <Test Name="Test8">
      <ApplicationPath>.\Framework\bin\net46\TwoPhaseCommit.exe</ApplicationPath>
      <Command Name="TwoPhaseCommit" Flags="/i:%Iterations% /max-steps:%MaxSteps% /explore /sch:portfolio /parallel:%Parallelism%"/>
    </Test>
	</Tests>
</PSharpBatchConfig>