machine-check 的实用通用类型包

此包包含用于在形式化验证工具 machine-check 和调用其实用工具包 machine-check-exec 的生成程序之间通信的类型。

用法和兼容性

此包是 machine-check 的实用工具包，不应单独使用。不提供兼容性保证。

许可证

根据您的选择，许可协议为 Apache 许可证 2.0 版或 MIT 许可证。除非您明确说明，否则您有意提交以包含在此包中的任何贡献，根据 Apache-2.0 许可证定义，应按上述方式双重许可，而不附加任何额外条款或条件。