Halmos відправив інваріантні тести, нам довелося відправити спосіб автоматичної конвертації контрприкладів Halmos в ливарні репори. Це працює як для тестів без стану, так і для тестів зі збереженням стану (зі смаком химери). Якщо ви використовуєте додаток Create Chimera або розширення Recon, це працює з коробки!