0.3.2 |
|
---|---|
0.3.1 |
|
0.2.1 |
|
0.1.6 |
|
0.1.4 |
|
#24 in #prover
39 downloads per month
18KB
288 lines
This crate contains tools for applying mutation testing to an instance of move prover code.
The src
directory contains supporting Rust code.
Dependencies
~26–40MB
~613K SLoC