Halmos heeft invariant tests verzonden, we moesten een manier verzenden om Halmos tegenvoorbeelden automatisch om te zetten naar foundry-repos. Dit werkt voor zowel stateless als stateful tests (Chimera-variant). Als je Create Chimera App of de Recon Extension gebruikt, werkt dit direct uit de doos!