Crate machine_check

machine-check: a formal verification tool for digital systems

This is a library crate for the formal verification tool machine-check. Currently, machine-check is only intended to be used as an executable tool, not as a library.

Go to machine-check README.

Usage and Compatibility

Using machine-check as a library is currently not intended. No compatibility guarantees are made.

License

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

Modules

• prepare
• verify

Structs

• Cli

Enums

• CheckError
• CliSubcommand

Functions

• run