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

コード例 #1

ファイル: CompositeBugFindingEngine.cs プロジェクト: 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);
 }

コード例 #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);
 }