1 files changed, 102 insertions, 0 deletions
diff --git a/vendor/proptest/src/lib.rs b/vendor/proptest/src/lib.rs
new file mode 100644
index 000000000..1cba5f900
--- /dev/null
+++ b/vendor/proptest/src/lib.rs
@@ -0,0 +1,102 @@
+//-
+// Copyright 2017, 2018 Jason Lingle
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+//! # Proptest Reference Documentation
+//!
+//! This is the reference documentation for the proptest API.
+//!
+//! For documentation on how to get started with proptest and general usage
+//! advice, please refer to the [Proptest Book](https://altsysrq.github.io/proptest-book/intro.html).
+
+#![forbid(future_incompatible)]
+#![deny(missing_docs, bare_trait_objects)]
+#![no_std]
+#![cfg_attr(feature = "cargo-clippy", allow(
+    doc_markdown,
+    // We have a lot of these lints for associated types... And we don't care.
+    type_complexity
+))]
+#![cfg_attr(
+    feature = "unstable",
+    feature(allocator_api, try_trait_v2, generator_trait, never_type)
+)]
+#![cfg_attr(all(feature = "std", feature = "unstable"), feature(ip))]
+#![cfg_attr(
+    all(feature = "alloc", not(feature = "std")),
+    feature(core_intrinsics)
+)]
+
+// std_facade is used in a few macros, so it needs to be public.
+#[macro_use]
+#[doc(hidden)]
+pub mod std_facade;
+
+#[cfg(any(feature = "std", test))]
+#[macro_use]
+extern crate std;
+
+#[cfg(all(feature = "alloc", not(feature = "std")))]
+#[macro_use]
+extern crate alloc;
+
+#[cfg(feature = "frunk")]
+#[macro_use]
+extern crate frunk_core;
+
+#[cfg(feature = "frunk")]
+#[macro_use]
+mod product_frunk;
+
+#[cfg(not(feature = "frunk"))]
+#[macro_use]
+mod product_tuple;
+
+#[macro_use]
+extern crate bitflags;
+#[cfg(feature = "bit-set")]
+extern crate bit_set;
+
+#[cfg(feature = "std")]
+#[macro_use]
+extern crate lazy_static;
+
+// Only required for the string module.
+#[cfg(feature = "std")]
+#[macro_use]
+extern crate quick_error;
+
+#[cfg(feature = "fork")]
+#[macro_use]
+extern crate rusty_fork;
+
+#[macro_use]
+mod macros;
+
+#[doc(hidden)]
+#[macro_use]
+pub mod sugar;
+
+pub mod arbitrary;
+pub mod array;
+pub mod bits;
+pub mod bool;
+pub mod char;
+pub mod collection;
+pub mod num;
+pub mod strategy;
+pub mod test_runner;
+pub mod tuple;
+
+pub mod option;
+pub mod result;
+pub mod sample;
+#[cfg(feature = "std")]
+pub mod string;
+
+pub mod prelude;