Batch Testing for P#

This project extends the P# asynchronous programming framework with cloud testing capabilities. It uses the Azure Batch Service APIs to run multiple parallel P# tests on Azure and fetch the results.

Getting started

The best way to get started is to read our wiki.

To run PSharpBatchTester, you must have an active Azure subscription containing a Batch Service account.

Contact us

If you are interested in using PSharpBatchTester, or have any related questions, please send us an email or open a new issue.