[cjlovett]

if you are writing any kind of code using Tasks in C# you should use Coyote to test it.