Fuzzing é só o assunto desde o hack yETH (pelo menos na minha cabeça) - @claudeai acabei de escrever o teste perfeito para o Fuzz Foundry para mim e descobriu um caso limite que um conjunto de testes inteiro perdeu O invariante é simples: 'soma (dívidas de troves) >= total_debt', caso contrário 'total_debt' pode ficar negativo se todos os Troves pagarem, tornando impossível fechar o último Trove Captura de tela do teste de borrão anexada e link para o teste no primeiro comentário, para sua conveniência Diga ao Claude para fuzz você código!