Selama beberapa minggu terakhir, @dnkolegov (dan tim di @asymmetric_re) menerjemahkan Minimmit ke dalam spesifikasi yang dapat dieksekusi (ditulis dalam Quint). Mengapa? Kita sekarang dapat mengotomatiskan pencarian ketidaksehatan Minimmit terhadap Pemeriksa 🤖 Model Simbolik Apalache .