This repository has been archived by the owner on Aug 26, 2022. It is now read-only.
P# 1.6.9
This release contains the 1.6.9 version of the P# framework.
- Added the
OnEventUnhandledAsync
machine callback that is invoked when the machine receives an event that it is not prepared to handle. - Coverage report includes uncovered events.
- Fixes in the P# syntax plugin related to brace matching and coloring.
- Refactored the
ILogger
andMachineLogger
intoILogger
andRuntimeLogWriter
to simplify the design, separate the concerns and support some extra scenarios. This required some minimal changes in a custom logger: primarily instead of trying to overrideMachineLogger
, just implementILogger
directly and then set it viaruntime.SetLogger(…)
(as previously). If you need to override methods ofRuntimeLogWriter
to modify the actual logging behavior of the runtime (previously these methods were part ofMachineLogger
) then please read the new brief guide here on how to do this.