C# (CSharp) Urasandesu.Bondage.Mixins.Microsoft.PSharp.TestingServices TestingEngineCoordinator Exemples

Exemple #1

Fichier : CompositeBugFindingEngine.cs Projet : urasandesu/Bondage

 public CompositeBugFindingEngine(Configuration configuration, Action <RuntimeHost> action)
 {
     m_configuration = configuration ?? throw new ArgumentNullException(nameof(configuration));
     m_action        = action ?? throw new ArgumentNullException(nameof(action));
     m_coordinator   = new TestingEngineCoordinator(configuration.ParallelBugFindingTasks, configuration);
     Directory.CreateDirectory(m_coordinator.TempDirectory);
 }

Exemple #2

 public CompositeReplayEngine(Configuration configuration, Action <RuntimeHost> action)
 {
     m_configuration = configuration ?? throw new ArgumentNullException(nameof(configuration));
     m_action        = action ?? throw new ArgumentNullException(nameof(action));
     m_coordinator   = new TestingEngineCoordinator(1, configuration);
 }