blt / rqc Public

Notifications You must be signed in to change notification settings
Fork 0
Star 3

an experiment in building a coverage directed quickcheck implementation

3 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
examples		examples
rqc-core		rqc-core
src		src
.gitignore		.gitignore
Cargo.toml		Cargo.toml
README.md		README.md

Repository files navigation

rqc -- an experiment in building a coverage directed quickcheck implementation

Examples

> cargo run           --example mul_is_add # will fail
> cargo run --release --example str_repeat # probably won't fail

About

an experiment in building a coverage directed quickcheck implementation

Report repository

Releases

No releases published

Packages

No packages published

Languages

Rust 100.0%