Programas por ditto-java.sf.net

Quer escrever uma verificação invariante da estrutura de dados em tempo de execução para encontrar um bug, mas não suporta a desaceleração? Ditto vai ajudar. Ele otimiza automaticamente tais verificações para que eles execute