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.
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.
If you are interested in using PSharpBatchTester, or have any related questions, please send us an email or open a new issue.