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

Beispiel #1

Datei: CompositeBugFindingEngine.cs Projekt: 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);
 }

Beispiel #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);
 }