machine-check 0.7.1

Formal verification tool for digital systems
Documentation
1
2
3
4
5
error: machine-check: This attribute not supported
 --> tests/cases/05-struct-arbitrary-attribute.rs:3:5
  |
3 |     #[::machine_check_arbitrary]
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^