Skip to content
This repository has been archived by the owner on Aug 26, 2022. It is now read-only.

P# 1.4.6

Compare
Choose a tag to compare
@pdeligia pdeligia released this 21 Feb 21:42
· 48 commits to master since this release
1d88e33

This release contains the 1.4.6 version of the P# framework.

The release updates PSharpTester.exe to return exit codes: 0 for success (no bugs found), 1 for bug(s) found, and 2 for internal error.