Halmos a expédié des tests invariants, nous devions expédier un moyen de convertir automatiquement les contre-exemples Halmos en dépôts Foundry. Cela fonctionne pour les tests sans état et avec état (version Chimera). Si vous utilisez Create Chimera App ou l'extension Recon, cela fonctionne directement !