Crate machine_check_common

Utility common-type crate for machine-check

This crate contains types used for communication between the formal verification tool machine-check and generated programs that call its utility crate machine-check-exec.

Usage and Compatibility

This crate is a utility crate for machine-check and should not be used on its own. No compatibility guarantees are made.

License

This crate is licensed under Apache 2.0 License or MIT License at your discretion.

Structs

• ExecResult
• ExecStats

Enums

• ExecError