This repository was archived by the owner on Aug 26, 2022. It is now read-only.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.