#![feature(plugin)]
#![allow(non_upper_case_globals)]
#![plugin(quickcheck_macros)]
extern crate quickcheck;
use quickcheck::TestResult;
#[quickcheck]
fn min(x: isize, y: isize) -> TestResult {
if x < y {
TestResult::discard()
} else {
TestResult::from_bool(::std::cmp::min(x, y) == y)
}
}
#[quickcheck]
#[should_panic]
fn fail_fn() -> bool { false }
#[quickcheck]
static static_bool: bool = true;
#[quickcheck]
#[should_panic]
static fail_static_bool: bool = false;
#[test]
fn static_bool_test_is_function() {
static_bool()
}