qc.rs -- QuickCheck for Rust

Use quick_check to check that a specified property holds for values of trait Arbitrary + Shrink.

Example::

extern mod qc;

fn main() {
    qc::quick_check("sort", qc::config.verbose(true).trials(500),
        |mut v: ~[u8]| { sort(&mut v); is_sorted(v) });
}

Issues:

• Clean up Lazy and Shrink, implement Arbitrary and Shrink further

---

Copyright License for qc.rs is identical with the Rust project:

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. All files in the project carrying such
notice may not be copied, modified, or distributed except
according to those terms.