hmz007
36ed224bac
Signed-off-by: hmz007 <hmz007@gmail.com> Change-Id: Ib87fdbe7a0be7dc961af3500fe9ea4589a127f9f
20 lines
428 B
Rust
20 lines
428 B
Rust
use quickcheck::{quickcheck, TestResult};
|
|
|
|
fn reverse<T: Clone>(xs: &[T]) -> Vec<T> {
|
|
let mut rev = vec![];
|
|
for x in xs {
|
|
rev.insert(0, x.clone())
|
|
}
|
|
rev
|
|
}
|
|
|
|
fn main() {
|
|
fn prop(xs: Vec<isize>) -> TestResult {
|
|
if xs.len() != 1 {
|
|
return TestResult::discard();
|
|
}
|
|
TestResult::from_bool(xs == reverse(&*xs))
|
|
}
|
|
quickcheck(prop as fn(Vec<isize>) -> TestResult);
|
|
}
|