Halmos đã gửi các bài kiểm tra bất biến, chúng tôi phải gửi một cách để tự động chuyển đổi các phản ví dụ của Halmos thành các kho lưu trữ foundry. Điều này hoạt động cho cả bài kiểm tra không trạng thái và có trạng thái (theo phong cách Chimera). Nếu bạn sử dụng Create Chimera App hoặc Recon Extension, điều này hoạt động ngay lập tức!