/// <summary> /// Notifies the remote testing scheduler /// about a discovered bug. /// </summary> private void NotifyBugFound() { Uri address = new Uri("http://localhost:8080/psharp/testing/scheduler/"); BasicHttpBinding binding = new BasicHttpBinding(); binding.MaxReceivedMessageSize = Int32.MaxValue; EndpointAddress endpoint = new EndpointAddress(address); if (this.TestingScheduler == null) { this.TestingScheduler = ChannelFactory <ITestingProcessScheduler> . CreateChannel(binding, endpoint); } this.TestingScheduler.NotifyBugFound(this.Configuration.TestingProcessId); }
/// <summary> /// Notifies the remote testing scheduler /// about a discovered bug. /// </summary> private void NotifyBugFound() { Uri address = new Uri("net.pipe://localhost/psharp/testing/scheduler/" + $"{this.Configuration.TestingSchedulerEndPoint}"); NetNamedPipeBinding binding = new NetNamedPipeBinding(); binding.MaxReceivedMessageSize = Int32.MaxValue; EndpointAddress endpoint = new EndpointAddress(address); if (this.TestingScheduler == null) { this.TestingScheduler = ChannelFactory <ITestingProcessScheduler> . CreateChannel(binding, endpoint); } this.TestingScheduler.NotifyBugFound(this.Configuration.TestingProcessId); }
/// <summary> /// Sends the test report associated with this testing process. /// </summary> private void SendTestReport() { Uri address = new Uri("net.pipe://localhost/psharp/testing/scheduler/" + $"{this.Configuration.TestingSchedulerEndPoint}"); NetNamedPipeBinding binding = new NetNamedPipeBinding(); binding.MaxReceivedMessageSize = int.MaxValue; EndpointAddress endpoint = new EndpointAddress(address); if (this.TestingScheduler is null) { this.TestingScheduler = ChannelFactory <ITestingProcessScheduler> . CreateChannel(binding, endpoint); } this.TestingScheduler.SetTestReport(this.TestingEngine.TestReport.Clone(), this.Configuration.TestingProcessId); }
/// <summary> /// Notifies the remote testing scheduler /// about a discovered bug. /// </summary> private void NotifyBugFound() { Uri address = new Uri("http://localhost:8080/psharp/testing/scheduler/"); WSHttpBinding binding = new WSHttpBinding(); EndpointAddress endpoint = new EndpointAddress(address); this.TestingScheduler = ChannelFactory<ITestingProcessScheduler>. CreateChannel(binding, endpoint); if (this.TestingScheduler.NotifyBugFound(this.Configuration.TestingProcessId)) { IO.PrintLine(this.TestingEngine.Report()); this.TestingEngine.TryEmitTraces(); } }