machine-check 0.7.1

Formal verification tool for digital systems
Documentation
1
2
3
4
5
error: machine-check: Generics not supported
 --> tests/cases/03-struct-generics.rs:3:13
  |
3 |     struct A<G> {}
  |             ^^^