Merge pull request #127 from lumen/proptest

Property tests

Author: KronicDeth

.circleci/Dockerfile

@@ -2,7 +2,7 @@ FROM circleci/rust
 
 RUN rustup default nightly
 
-RUN rustup component add rustfmt clippy-preview
+RUN rustup component add rustfmt
 
 # Add WASM target
 RUN rustup target add wasm32-unknown-unknown --toolchain nightly

.circleci/config.yml

@@ -4,27 +4,31 @@ jobs:
     docker:
       # `kronicdeth` is temporary until we get a DockerHub organization
       - image: kronicdeth/lumen-development
+    resource_class: medium+
+    environment:
+      CARGO_HOME: cargo
     steps:
       - checkout
       - run:
           name: Version Information
           command: rustc --version; cargo --version; rustup --version
       - restore_cache:
           keys:
-            - v1-cargo-cache-x86_64-{{ checksum "Cargo.lock" }}
+            - v4-cargo-cache-x86_64-{{ checksum "Cargo.lock" }}
       - run:
           name: Build all targets
-          command: cargo build --all --all-targets
+          command: cargo test --all --all-targets --locked --no-run
       - save_cache:
-          key: v1-cargo-cache-x86_64-{{ checksum "Cargo.lock" }}
+          key: v4-cargo-cache-x86_64-{{ checksum "Cargo.lock" }}
           paths:
-            - /usr/local/cargo/registry
+            - cargo
             - target/debug/.fingerprint
             - target/debug/build
             - target/debug/deps
       - persist_to_workspace:
           root: .
           paths:
+            - cargo
             - examples
             - liblumen_alloc
             - liblumen_alloc_macros
@@ -49,27 +53,30 @@ jobs:
     docker:
       # `kronicdeth` is temporary until we get a DockerHub organization
       - image: kronicdeth/lumen-development
+    environment:
+      CARGO_HOME: cargo
     steps:
       - checkout
       - run:
           name: Version Information
           command: rustc --version; cargo --version; rustup --version
       - restore_cache:
           keys:
-            - v1-cargo-cache-wasm32-{{ checksum "Cargo.lock" }}
+            - v4-cargo-cache-wasm32-{{ checksum "Cargo.lock" }}
       - run:
           working_directory: "lumen_runtime"
           command: wasm-pack build
       - save_cache:
-          key: v1-cargo-cache-wasm32-{{ checksum "Cargo.lock" }}
+          key: v4-cargo-cache-wasm32-{{ checksum "Cargo.lock" }}
           paths:
-            - /usr/local/cargo/registry
+            - cargo
             - target/debug/.fingerprint
             - target/debug/build
             - target/debug/deps
       - persist_to_workspace:
           root: .
           paths:
+            - cargo
             - examples
             - liblumen_alloc
             - liblumen_alloc_macros
@@ -94,6 +101,8 @@ jobs:
     docker:
       # `kronicdeth` is temporary until we get a DockerHub organization
       - image: kronicdeth/lumen-development
+    environment:
+      CARGO_HOME: cargo
     steps:
       - attach_workspace:
           at: .
@@ -106,26 +115,33 @@ jobs:
     docker:
       # `kronicdeth` is temporary until we get a DockerHub organization
       - image: kronicdeth/lumen-development
+    resource_class: medium+
+    environment:
+      CARGO_HOME: cargo
     steps:
       - attach_workspace:
           at: .
       - run:
           name: Run all tests
-          command: cargo test --all --all-targets --exclude spawn-chain
+          command: cargo test --all --all-targets --exclude spawn-chain --frozen
   x86_64_single_threaded_test:
     docker:
       # `kronicdeth` is temporary until we get a DockerHub organization
       - image: kronicdeth/lumen-development
+    environment:
+      CARGO_HOME: cargo
     steps:
       - attach_workspace:
           at: .
       - run:
           name: Run all tests
-          command: cargo test --all-targets --package spawn-chain -- --test-threads=1
+          command: cargo test --all-targets --frozen --package spawn-chain -- --test-threads=1
   chrome_test:
     docker:
       # `kronicdeth` is temporary until we get a DockerHub organization
       - image: kronicdeth/lumen-development
+    environment:
+      CARGO_HOME: cargo
     steps:
       - attach_workspace:
           at: .
@@ -136,6 +152,8 @@ jobs:
     docker:
       # `kronicdeth` is temporary until we get a DockerHub organization
       - image: kronicdeth/lumen-development
+    environment:
+      CARGO_HOME: cargo
     steps:
       - attach_workspace:
           at: .
@@ -146,6 +164,8 @@ jobs:
     docker:
       # `kronicdeth` is temporary until we get a DockerHub organization
       - image: kronicdeth/lumen-development
+    environment:
+      CARGO_HOME: cargo
     steps:
       - attach_workspace:
           at: .

Cargo.lock

@@ -33,6 +33,7 @@ use core::fmt;
 use core::ptr;
 
 use super::{HeapAlloc, ProcessControlBlock};
+use crate::borrow::CloneToProcess;
 
 #[derive(Clone, Copy)]
 pub struct BadArgument(Term);

liblumen_alloc/src/erts/term.rs

@@ -1,3 +1,4 @@
+#![deny(warnings)]
 #![feature(box_patterns)]
 #![feature(box_syntax)]
 #![feature(core_intrinsics)]

liblumen_syntax/src/lib.rs

@@ -22,14 +22,19 @@ log = "0.4"
 num-bigint = "0.2.2"
 num-traits = "0.2.6"
 
+[dev-dependencies]
+radix_fmt = "1.0.0"
+
 [target.'cfg(unix)'.dependencies]
 internment = "0.3.6"
+proptest = "0.9.3"
 rand = "0.6"
 signal-hook = "0.1"
 xorshift = "0.1"
 
 [target.'cfg(windows)'.dependencies]
 internment = "0.3.6"
+proptest = "0.9.3"
 rand = "0.6"
 signal-hook = "0.1"
 xorshift = "0.1"

lumen_runtime/Cargo.toml

@@ -0,0 +1,9 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc b709ff26103442cde4e6b786e6780576ba1f02b330863de287c7653010850e6f # shrinks to (0.0_f64.into_process(&process), -0.0_f64.into_process(&process))
+cc 844b260e1526911cd29f38bb82478543b67fb774a52b51bd907b16d5543f8b9b # shrinks to (-0.0_f64.into_process(&process), -0.0_f64.into_process(&process))
+cc 6dd8d68628aa4352cc9bd2593f9dadfb475da016c0196afafa05fd2bedad5462 # shrinks to (0.0_f64.into_process(&process), 0.0_f64.into_process(&process))

lumen_runtime/proptest-regressions/otp/erlang/tests/are_exactly_equal_2/with_float_left.txt

@@ -0,0 +1,9 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc 273f73441fba434addb8eed6f6c8fbec0744aa72da3d8e989d19a5d04c93e3fa # shrinks to (Term::subbinary(Term::slice_to_binary(&[0], &process), 0, 0, 0, 1, &process), 1.into_process(&process), -1.into_process(&process))
+cc 4dce9465ced32a423bfc19536b31d70784c676ffac71bab5024bfc01c939a1ea # shrinks to (Term::subbinary(Term::slice_to_binary(&[0], &process), 0, 0, 0, 1, &process), 0.into_process(&process), 1.into_process(&process))
+cc 70e7d9a71195f6233c9f8f423e8b037fec9345866d8f630c4d3d22a68750dbe3 # shrinks to (Term::subbinary(Term::slice_to_binary(&[0, 0, 0, 0], &process), 0, 0, 3, 1, &process), 1.into_process(&process), 3.into_process(&process))

lumen_runtime/proptest-regressions/otp/erlang/tests/binary_part_2/with_bitstring/with_tuple_with_arity_2.txt

@@ -0,0 +1,7 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc 0db53f755647cde1ac992a130aa897517c8c99218ae6cb6510a732f12f362250 # shrinks to (Term::subbinary(Term::slice_to_binary(&[0, 0, 0, 0], &process), 0, 0, 3, 1, &process), 1.into_process(&process), 3.into_process(&process))

lumen_runtime/proptest-regressions/otp/erlang/tests/binary_part_2/with_bitstring/with_tuple_with_arity_2/with_bit_count.txt

@@ -0,0 +1,8 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc c307b09832fb1b34a66ad2d036c2d93216549be2ca44feb2dc0199a41d1811ee # shrinks to (Term::subbinary(Term::slice_to_binary(&[0], &process), 0, 0, 0, 1, &process), 1.into_process(&process), -1.into_process(&process))
+cc bbee067cbb166416830e49bcab081cb4464b05bc317ce1200f9a23edcc667169 # shrinks to (Term::subbinary(Term::slice_to_binary(&[0], &process), 0, 0, 0, 1, &process), 0.into_process(&process), 1.into_process(&process))