The P programming language.
language
programming-language
distributed-systems
state-machine
robotics
asynchronous
systematic-testing
event-driven
model-checking
drones
p
-
Updated
Sep 15, 2021 - C#
I wonder if it was considered to add a rewrite step as a MSBuild target in the NuGet package. This way calling the tool
coyote rewritewouldn't be needed as that would be done automatically once the assembly is generated.Could possibly be done if a specific property is provided like
/p:CoyoteRewrite=trueor be an opt-out whenConfiguration=Debug.