quickcheck: better generation of input arguments

closes #31
This commit is contained in:
Jorge Aparicio
2016-08-13 16:58:44 -05:00
parent 319c938e93
commit 5581cc40af
5 changed files with 159 additions and 13 deletions

View File

@@ -1,8 +1,8 @@
#![allow(unused_features)]
#![no_std]
#![feature(asm)]
#![feature(core_intrinsics)]
#![feature(naked_functions)]
#![cfg_attr(not(test), no_std)]
// TODO(rust-lang/rust#35021) uncomment when that PR lands
// #![feature(rustc_builtins)]
@@ -13,6 +13,9 @@
#[macro_use]
extern crate quickcheck;
#[cfg(test)]
extern crate core;
#[cfg(target_arch = "arm")]
pub mod arm;
@@ -20,6 +23,9 @@ pub mod udiv;
pub mod mul;
pub mod shift;
#[cfg(test)]
mod qc;
/// Trait for some basic operations on integers
trait Int {
fn bits() -> u32;