Halmos ha inviato test invarianti, dovevamo fornire un modo per convertire automaticamente i controesempi di Halmos in repository di foundry. Questo funziona sia per test senza stato che per test con stato (in stile Chimera). Se utilizzi Create Chimera App o l'estensione Recon, questo funziona immediatamente!