CBMC for mac test