4 ms·
They're also working on using a custom-built system written in Golang to test TiDB (though this is in the early stages): https://medium.com/@siddontang/use-chao
by anishathalye 9y ago
They're also working on using a custom-built system written in Golang to test TiDB (though this is in the early stages): https://medium.com/@siddontang/use-chaos-to-test-the-distributed-system-linearizability-4e0e778dfc7d https://medium.com/@siddontang/use-chaos-to-test-the-distrib...
- siddontang 9y agoHi @anishathalye, thanks for your https://github.com/anishathalye/porcupine https://github.com/anishathalye/porcupine. It’s a great project! Would you like to help me to check whether our model check is right or not with Porcupine? That would be highly appreciated!
- anishathalye 9y agoSure! Sent you an email.