Halmos dodával invariantní testy, museli jsme dodat způsob, jak automaticky převést protipříklady Halmosu na slévárenské repozitáře. To funguje pro bezstavové i stavové testy (s příchutí Chimera). Pokud používáte aplikaci Create Chimera nebo rozšíření Recon, funguje to hned po vybalení!