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.0.0" 5publish = false 6rust-version = "1.70" 7edition = "2018" 8 9[lib] 10name = "quickchecking" 11path = "src/lib.rs" 12 13[[bin]] 14name = "quickchecking" 15path = "src/bin.rs" 16 17[dependencies] 18clap = "4" 19quickcheck = "1.0" 20tempfile = "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