This repository has been archived by the owner on Aug 26, 2022. It is now read-only.
P# 1.6.7
This release contains the 1.6.7 version of the P# framework.
This is a minor release that adds exception handlers when invoking the the OnEventDequeue
and OnEventHandled
machine callbacks, as well as fixes the precision of activity coverage across multiple tests.