Em pouco tempo, este caso de falha mínima apareceu:
Primeiro, criamos um tipo de enum personalizado, usamos-o em uma tabela, depois eliminamos essa tabela e alteramos o tipo.Esses eventos descartados normalmente seriam redundantes, mas como ‘gatos’ não estavam sendo capturados novamente, os eventos foram simplesmente perdidos e o cache ficou fora de sincronia com o banco de dados.E, claro, se escrever esses tipos de testes parece emocionante, não hesite em dar uma olhada em nossa página de carreiras.Para esse fim, escrevemos e lançamos uma biblioteca OSS de uso geral, chamada proptest-stateful, que ajuda você a colher os mesmos benefícios para seus próprios projetos.Se o caso original era “iniciar em 0, incrementar, decrementar, incrementar”, então você não poderá remover o primeiro incremento, a menos que também remova o decremento!
Fonte: https://blog.readyset.io/stateful-property-testing-in-rust/
