Divij Vaidya <divijvaidy...@gmail.com> wrote: > 1. As an aside, would we be open to accept other alternative forms of > proofs such as property based testing (semi-formal methods) in future?
The Apache Kafka repository already has support for property based testing using jqwik. So feel free to add more property based tests. See RaftEventSimulationTest and RecordsIteratorTest for examples. Thanks!
