Latest version - All versions

Crate: seer 0.0.3

Crate file analysis
Tokei lines of code count
Dependency analysis

Description: symbolic execution engine for rust
Readme: README.md
License: MIT/Apache-2.0
Repository: https://github.com/dwrensha/seer
Edition: 2015
Checksum: 9dfb3813d332c0d8f7559f92b1e29a66cbe247394b895523268267f79b30dd06
Yanked: false

Dependencies:

byteorder = ^1.1
cargo_metadata = ^0.1
env_logger = ^0.3.3
log = ^0.3.6
log_settings = ^0.1.1
seer-z3 = ^0.1.0
compiletest_rs = ^0.3.2

Crate file analysis

Compressed crate size: 109kb

Valid: true

Checksum matches: true

Tokei lines of code count

Tokei output:

Language	Total lines	Code	Comments	Blank lines
Markdown	93	93	0	0
Rust	13916	10941	1183	1792
TOML	48	29	11	8
Total:	14057	11063	1194	1800

Dependency analysis

Direct dependencies: 7

Transitive dependencies: 69