Reliable Async Systems with Coyote - Part 2

The Discussion

• 

  Is it possible or have you ever considered a way to extract your lightweight Actors from Coyote so that they can be used everywhere?

• 

  We have recently split Microsoft.Coyote.dll into 2 assemblies, moving all the systematic test engine stuff into Microsoft.Coyote.Test.dll, this leaves Microsoft.Coyote.dll as a very think runtime only, so if you use actors from there you are pretty much getting light weight Actors. I suppose we could further refine this and split out the Task wrappers then rename this Microsoft.Actors.dll, but that's a pretty bold statement and I think we would prefer to leave that to .NET team to make some day.