crack
| Crates.io | crack |
| lib.rs | crack |
| version | 0.1.0 |
| source | src |
| created_at | 2017-08-03 09:42:06.403335 |
| updated_at | 2017-08-03 09:42:06.403335 |
| description | verify distributed and lock-free algorithms through symbolic execution |
| homepage | https://github.com/spacejam/crack |
| repository | |
| max_upload_size | |
| id | 26222 |
| size | 27,555 |
Tyler Neely (spacejam)
documentation
https://docs.rs/crack