Halmos mengirimkan tes invarian, kami harus mengirimkan cara untuk secara otomatis mengonversi counterexamples Halmos menjadi repositori pengecoran. Ini berfungsi untuk tes stateless dan stateful (rasa Chimera). Jika Anda menggunakan Aplikasi Buat Chimera atau Ekstensi Pengintaian, ini akan bekerja di luar kotak!