Lançada atualização de Certora Prover v7.29.1! O Prover é uma ferramenta de código aberto para provar que os contratos inteligentes se comportam corretamente em todos os estados e entradas possíveis. Esta versão adiciona novos recursos para ajudá-lo a escrever especificações mais seguras, simplificar configurações e trabalhar com mais eficiência. Aqui está o que há de novo 👇🧵