@matklad: Thanks for turning your comments from my previous post into its own proper post, it’s easier to follow now when you dressed your code with some words!
As a response to my post I receieved an email asking if I’ve seen the talkProperty-testing async code in Rust to build reliable distributed systems by Antonio Scandurra. I hadn’t seen it, but watched it since and it seems to be about doing a similar thing that you do but on the async level rather than thread level (in about 100 LOC) and they use this approach to test the Zed editor. I thought I’d mention it here, as it might be interesting to compare the two approaches.
@matklad: Thanks for turning your comments from my previous post into its own proper post, it’s easier to follow now when you dressed your code with some words!
As a response to my post I receieved an email asking if I’ve seen the talk Property-testing async code in Rust to build reliable distributed systems by Antonio Scandurra. I hadn’t seen it, but watched it since and it seems to be about doing a similar thing that you do but on the async level rather than thread level (in about 100 LOC) and they use this approach to test the Zed editor. I thought I’d mention it here, as it might be interesting to compare the two approaches.