Halmos hat invariant Tests versendet, wir mussten einen Weg finden, um Halmos-Gegenbeispiele automatisch in Foundry-Repos zu konvertieren. Das funktioniert sowohl für zustandslose als auch für zustandsbehaftete Tests (Chimera-Variante). Wenn Sie die Create Chimera App oder die Recon-Erweiterung verwenden, funktioniert das sofort!