Atur cara mengikut ditto-java.sf.net

Ingin menulis struktur data masa jalanan invariant check untuk mencari pepijat, tetapi tidak boleh tahan kelembapan? Ditto akan membantu. Ia secara automatik mengoptimumkan pemeriksaan sedemikian supaya mereka menjalankan 10x