machine-check-exec 0.6.0

Utility crate for the formal verification tool machine-check
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# Utility executable-logic crate for machine-check


This crate contains machine verification logic for the formal verification tool
[machine-check](https://docs.rs/machine-check).

## Usage and Compatibility


This crate is a utility crate for [machine-check](https://docs.rs/machine-check)
and should not be used on its own. No compatibility guarantees are made.

## License


Licensed under either of Apache License, Version 2.0 or MIT license at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted 
for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be 
dual licensed as above, without any additional terms or conditions.