microsoft/coyote

Can tests be rewired programmatically with the TestingEngine?

jhwj9617 opened this issue · 4 comments

jhwj9617 commented

I noticed that when running with the TestingEngine, I haven't found a way to rewire from there.
Instead, I have to create a post-build process that runs the coyote rewrite step, before the systematic unit tests runs.
Am I missing some function of TestingEngine, or is the way I'm doing it the right way?

akashlal commented

This is the right way. You still have to do coyote rewrite even if you are running the tests programmatically.

  • 👍2
jhwj9617 commented

Thanks for the clarity. Maybe convey this info in the docs?

  • 👍1
pdeligia commented

Thanks for the clarity. Maybe convey this info in the docs?

We will, thanks for the feedback @jhwj9617

jhwj9617 commented

Just wanted to also point out this would directly handle this which you are already addressing:

  • 👍1