Hmmm, so this excited me a great deal since I spent some time building a property-based testing system for a trading execution engine. (Which really can't have

Hmmm, so this excited me a great deal since I spent some time building a property-based testing system for a trading execution engine. (Which really can't have any issues). It's an agent-based system with many possible race conditions. Now, having built such a system (and being incredibly happy with it). I do not understand where antithesis comes in. Broadly there were 2 components: 1. A random strategy that gives random commands that are distributed in a very specific way. 2. Properties to test, observing the system (by listening to the messages) and checking them for some properties (like positions always being correctly protected etc..) Now, there is not much else (besides random trading data which is very easy to do or you can use actual live data). And all of them depend to 99% on domain knowledge. Now, where is there space for a company/generic framework to come in? I'm genuinely curious.