[package]
name = "quickchecking"
description = "Bindgen property tests with quickcheck. Generate random valid C code and pass it to the csmith/predicate.py script"
version = "0.1.0"
authors = ["Shea Newton <sheanewt@gmail.com>"]

[lib]
name = "quickchecking"
path = "src/lib.rs"

[[bin]]
name = "quickchecking"
path = "src/bin.rs"

[dependencies]
clap = "2.28"
lazy_static = "1.0"
quickcheck = "0.4"
rand = "0.3"
tempdir = "0.3"

[features]
# No features by default.
default = []

# Enable the generation of code that allows for zero sized arrays as struct
# fields. Until issues #684 and #1153 are resolved this can result in failing tests. 
zero-sized-arrays = [] 

# Enable the generation of code that allows for long double types as struct
# fields. Until issue #550 is resolved this can result in failing tests.
long-doubles = []