Microsoft.PSharp.BatchTester

Batch testing for PSharp language.

Version:	1.0.6
Author(s):	priyanmuthu
Last Update:	Thursday, February 15, 2018
.NET Fiddle:	Create the first Fiddle
Project Url:	https://github.com/p-org/PSharpBatchTesting
NuGet Url:	https://www.nuget.org/packages/Microsoft.PSharp.BatchTester

NuGet .NET CLI Paket CLIR Direct Download

Install-Package Microsoft.PSharp.BatchTester

dotnet add package Microsoft.PSharp.BatchTester

paket add Microsoft.PSharp.BatchTester


                                Microsoft.PSharp.BatchTester Download (Unzip the "nupkg" after downloading)

Microsoft.PSharp.BatchTester NuGet Package