1[package] 2name = "quickchecking" 3description = "Bindgen property tests with quickcheck. Generate random valid C code and pass it to the csmith/predicate.py script" 4version = "0.1.0" 5authors = ["Shea Newton <sheanewt@gmail.com>"] 6 7[lib] 8name = "quickchecking" 9path = "src/lib.rs" 10 11[[bin]] 12name = "quickchecking" 13path = "src/bin.rs" 14 15[dependencies] 16clap = "2.28" 17lazy_static = "1.0" 18quickcheck = "0.4" 19rand = "0.3" 20tempdir = "0.3" 21 22[features] 23# No features by default. 24default = [] 25 26# Enable the generation of code that allows for zero sized arrays as struct 27# fields. Until issues #684 and #1153 are resolved this can result in failing tests. 28zero-sized-arrays = [] 29 30# Enable the generation of code that allows for long double types as struct 31# fields. Until issue #550 is resolved this can result in failing tests. 32long-doubles = [] 33