Ejemplo n.º 1
0
 /// <summary>
 /// Cleans up the P# runtime. Called before the next
 /// testing iteration starts.
 /// </summary>
 private void CleanUpRuntime()
 {
     // Resets the machine id counter.
     MachineId.ResetMachineIDCounter();
 }