Is this production ready, and if so, how much support can we expect? #393
-
Last thing people wanna do is switch over all their If the answers are "yes" and "hella good support", it should be declared as such in the Readme. |
Beta Was this translation helpful? Give feedback.
Replies: 2 comments
-
Coyote is production ready. It is based off the PSharp project that is being used by several teams in Azure. Some teams have already started pulling the latest Coyote bits, and others are expected to "upgrade" to Coyote soon. In terms of support, see our FAQs. Coyote is an open source project. Microsoft is both a user of Coyote and also continues to invest in it. |
Beta Was this translation helpful? Give feedback.
-
Old thread, but for the benefit of any future reader, Coyote is not asking you to replace the task type anymore, binary rewriting (during testing only) automatically does this for you so your production code can stay unchanged. |
Beta Was this translation helpful? Give feedback.
Coyote is production ready. It is based off the PSharp project that is being used by several teams in Azure. Some teams have already started pulling the latest Coyote bits, and others are expected to "upgrade" to Coyote soon.
In terms of support, see our FAQs. Coyote is an open source project. Microsoft is both a user of Coyote and also continues to invest in it.