[INFO] updating cached repository TheKevJames/juicyj [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/TheKevJames/juicyj [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/TheKevJames/juicyj" "work/ex/beta-1.37-6/sources/1.36.0/gh/TheKevJames/juicyj"` [INFO] [stderr] Cloning into 'work/ex/beta-1.37-6/sources/1.36.0/gh/TheKevJames/juicyj'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/TheKevJames/juicyj" "work/ex/beta-1.37-6/sources/beta-2019-07-23/gh/TheKevJames/juicyj"` [INFO] [stderr] Cloning into 'work/ex/beta-1.37-6/sources/beta-2019-07-23/gh/TheKevJames/juicyj'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] c48e964a4b5deea32ccc054a4a7ac416d4c966e6 [INFO] sha for GitHub repo TheKevJames/juicyj: c48e964a4b5deea32ccc054a4a7ac416d4c966e6 [INFO] validating manifest of TheKevJames/juicyj on toolchain 1.36.0 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of TheKevJames/juicyj on toolchain beta-2019-07-23 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing TheKevJames/juicyj [INFO] finished frobbing TheKevJames/juicyj [INFO] frobbed toml for TheKevJames/juicyj written to work/ex/beta-1.37-6/sources/1.36.0/gh/TheKevJames/juicyj/Cargo.toml [INFO] started frobbing TheKevJames/juicyj [INFO] finished frobbing TheKevJames/juicyj [INFO] frobbed toml for TheKevJames/juicyj written to work/ex/beta-1.37-6/sources/beta-2019-07-23/gh/TheKevJames/juicyj/Cargo.toml [INFO] crate TheKevJames/juicyj already has a lockfile, it will not be regenerated [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] testing TheKevJames/juicyj against 1.36.0 for beta-1.37-6 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-4/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/gh/TheKevJames/juicyj:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.36.0" "build" "--frozen"` [INFO] [stdout] d04a3fce02e108d3a029d52ce055da9880f8de90bb7c8ac3aba16a302465c280 [INFO] running `"docker" "start" "-a" "d04a3fce02e108d3a029d52ce055da9880f8de90bb7c8ac3aba16a302465c280"` [INFO] [stderr] warning: profile `doc` is deprecated and has no effect [INFO] [stderr] Compiling lazy_static v0.2.4 [INFO] [stderr] Compiling memchr v0.1.11 [INFO] [stderr] Compiling thread-id v2.0.0 [INFO] [stderr] Compiling thread_local v0.2.7 [INFO] [stderr] Compiling aho-corasick v0.5.3 [INFO] [stderr] Compiling regex v0.1.80 [INFO] [stderr] Compiling env_logger v0.3.5 [INFO] [stderr] Compiling juicyj v0.5.0 (/opt/crater/workdir) [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/mod.rs:82:27 [INFO] [stderr] | [INFO] [stderr] 82 | fn verify_env_inheritable(mut env: &mut Environment) -> Result<(), String> { [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_mut)] on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/mod.rs:85:9 [INFO] [stderr] | [INFO] [stderr] 85 | for mut current in &mut env.kinds { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/mod.rs:167:15 [INFO] [stderr] | [INFO] [stderr] 167 | fn verify_env(mut env: &mut Environment) -> Result<(), String> { [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/mod.rs:170:9 [INFO] [stderr] | [INFO] [stderr] 170 | for mut current in &mut env.kinds { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/arrayaccess.rs:8:11 [INFO] [stderr] | [INFO] [stderr] 8 | pub fn go(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/arraycreationexpression.rs:14:11 [INFO] [stderr] | [INFO] [stderr] 14 | pub fn go(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/assignment.rs:8:11 [INFO] [stderr] | [INFO] [stderr] 8 | pub fn go(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/castexpression.rs:14:11 [INFO] [stderr] | [INFO] [stderr] 14 | pub fn go(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/comparison.rs:42:23 [INFO] [stderr] | [INFO] [stderr] 42 | pub fn onearg_boolean(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/comparison.rs:75:15 [INFO] [stderr] | [INFO] [stderr] 75 | pub fn twoarg(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/methodinvocation.rs:35:17 [INFO] [stderr] | [INFO] [stderr] 35 | pub fn get_args(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/methodinvocation.rs:83:15 [INFO] [stderr] | [INFO] [stderr] 83 | fn get_method(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/verify/method/declaration.rs:10:11 [INFO] [stderr] | [INFO] [stderr] 10 | pub fn go(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/booleanvalue.rs:7:11 [INFO] [stderr] | [INFO] [stderr] 7 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/booleanvalue.rs:8:11 [INFO] [stderr] | [INFO] [stderr] 8 | mut externs: &mut Vec) [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/charvalue.rs:6:11 [INFO] [stderr] | [INFO] [stderr] 6 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/charvalue.rs:7:11 [INFO] [stderr] | [INFO] [stderr] 7 | mut externs: &mut Vec) [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/nullvalue.rs:4:11 [INFO] [stderr] | [INFO] [stderr] 4 | pub fn go(mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/nullvalue.rs:5:11 [INFO] [stderr] | [INFO] [stderr] 5 | mut externs: &mut Vec) [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/numvalue.rs:6:11 [INFO] [stderr] | [INFO] [stderr] 6 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/numvalue.rs:7:11 [INFO] [stderr] | [INFO] [stderr] 7 | mut externs: &mut Vec) [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/this.rs:4:33 [INFO] [stderr] | [INFO] [stderr] 4 | pub fn go(class_label: &String, mut text: &mut Vec) -> Result, String> { [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:26:21 [INFO] [stderr] | [INFO] [stderr] 26 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:27:21 [INFO] [stderr] | [INFO] [stderr] 27 | mut externs: &mut Vec) { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:69:17 [INFO] [stderr] | [INFO] [stderr] 69 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:70:17 [INFO] [stderr] | [INFO] [stderr] 70 | mut externs: &mut Vec, [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:71:17 [INFO] [stderr] | [INFO] [stderr] 71 | mut bss: &mut Vec<(String, String)>) [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:113:18 [INFO] [stderr] | [INFO] [stderr] 113 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:114:18 [INFO] [stderr] | [INFO] [stderr] 114 | mut externs: &mut Vec) [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: unused `#[macro_use]` import [INFO] [stderr] --> src/main.rs:3:1 [INFO] [stderr] | [INFO] [stderr] 3 | #[macro_use] [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_imports)] on by default [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 21.62s [INFO] running `"docker" "inspect" "d04a3fce02e108d3a029d52ce055da9880f8de90bb7c8ac3aba16a302465c280"` [INFO] running `"docker" "rm" "-f" "d04a3fce02e108d3a029d52ce055da9880f8de90bb7c8ac3aba16a302465c280"` [INFO] [stdout] d04a3fce02e108d3a029d52ce055da9880f8de90bb7c8ac3aba16a302465c280 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-4/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/gh/TheKevJames/juicyj:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.36.0" "test" "--frozen" "--no-run"` [INFO] [stdout] 1f9cecf649dbfcae15efabc3dcfa9469a9cd2b845abe0f27a3ee93e16a3b360b [INFO] running `"docker" "start" "-a" "1f9cecf649dbfcae15efabc3dcfa9469a9cd2b845abe0f27a3ee93e16a3b360b"` [INFO] [stderr] warning: profile `doc` is deprecated and has no effect [INFO] [stderr] Compiling juicyj v0.5.0 (/opt/crater/workdir) [INFO] [stderr] warning: unused `#[macro_use]` import [INFO] [stderr] --> src/main.rs:3:1 [INFO] [stderr] | [INFO] [stderr] 3 | #[macro_use] [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_imports)] on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/mod.rs:82:27 [INFO] [stderr] | [INFO] [stderr] 82 | fn verify_env_inheritable(mut env: &mut Environment) -> Result<(), String> { [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_mut)] on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/mod.rs:85:9 [INFO] [stderr] | [INFO] [stderr] 85 | for mut current in &mut env.kinds { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/mod.rs:167:15 [INFO] [stderr] | [INFO] [stderr] 167 | fn verify_env(mut env: &mut Environment) -> Result<(), String> { [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/mod.rs:170:9 [INFO] [stderr] | [INFO] [stderr] 170 | for mut current in &mut env.kinds { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/arrayaccess.rs:8:11 [INFO] [stderr] | [INFO] [stderr] 8 | pub fn go(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/arraycreationexpression.rs:14:11 [INFO] [stderr] | [INFO] [stderr] 14 | pub fn go(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/assignment.rs:8:11 [INFO] [stderr] | [INFO] [stderr] 8 | pub fn go(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/castexpression.rs:14:11 [INFO] [stderr] | [INFO] [stderr] 14 | pub fn go(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/comparison.rs:42:23 [INFO] [stderr] | [INFO] [stderr] 42 | pub fn onearg_boolean(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/comparison.rs:75:15 [INFO] [stderr] | [INFO] [stderr] 75 | pub fn twoarg(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/methodinvocation.rs:35:17 [INFO] [stderr] | [INFO] [stderr] 35 | pub fn get_args(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/resolve/methodinvocation.rs:83:15 [INFO] [stderr] | [INFO] [stderr] 83 | fn get_method(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/types/verify/method/declaration.rs:10:11 [INFO] [stderr] | [INFO] [stderr] 10 | pub fn go(mut node: &mut ASTNode, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/booleanvalue.rs:7:11 [INFO] [stderr] | [INFO] [stderr] 7 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/booleanvalue.rs:8:11 [INFO] [stderr] | [INFO] [stderr] 8 | mut externs: &mut Vec) [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/charvalue.rs:6:11 [INFO] [stderr] | [INFO] [stderr] 6 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/charvalue.rs:7:11 [INFO] [stderr] | [INFO] [stderr] 7 | mut externs: &mut Vec) [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/nullvalue.rs:4:11 [INFO] [stderr] | [INFO] [stderr] 4 | pub fn go(mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/nullvalue.rs:5:11 [INFO] [stderr] | [INFO] [stderr] 5 | mut externs: &mut Vec) [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/numvalue.rs:6:11 [INFO] [stderr] | [INFO] [stderr] 6 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/numvalue.rs:7:11 [INFO] [stderr] | [INFO] [stderr] 7 | mut externs: &mut Vec) [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/body/this.rs:4:33 [INFO] [stderr] | [INFO] [stderr] 4 | pub fn go(class_label: &String, mut text: &mut Vec) -> Result, String> { [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:26:21 [INFO] [stderr] | [INFO] [stderr] 26 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:27:21 [INFO] [stderr] | [INFO] [stderr] 27 | mut externs: &mut Vec) { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:69:17 [INFO] [stderr] | [INFO] [stderr] 69 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:70:17 [INFO] [stderr] | [INFO] [stderr] 70 | mut externs: &mut Vec, [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:71:17 [INFO] [stderr] | [INFO] [stderr] 71 | mut bss: &mut Vec<(String, String)>) [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:113:18 [INFO] [stderr] | [INFO] [stderr] 113 | mut text: &mut Vec, [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/generator/class/method.rs:114:18 [INFO] [stderr] | [INFO] [stderr] 114 | mut externs: &mut Vec) [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 27.83s [INFO] running `"docker" "inspect" "1f9cecf649dbfcae15efabc3dcfa9469a9cd2b845abe0f27a3ee93e16a3b360b"` [INFO] running `"docker" "rm" "-f" "1f9cecf649dbfcae15efabc3dcfa9469a9cd2b845abe0f27a3ee93e16a3b360b"` [INFO] [stdout] 1f9cecf649dbfcae15efabc3dcfa9469a9cd2b845abe0f27a3ee93e16a3b360b [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-4/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/gh/TheKevJames/juicyj:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.36.0" "test" "--frozen"` [INFO] [stdout] 72cb517b8f0a97fe865a7298b412910a4c8c07bbf573757fd850723f27dfdb92 [INFO] running `"docker" "start" "-a" "72cb517b8f0a97fe865a7298b412910a4c8c07bbf573757fd850723f27dfdb92"` [INFO] [stderr] warning: profile `doc` is deprecated and has no effect [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stderr] Running /opt/crater/target/debug/deps/juicyj-9a863544730264e1 [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test scanner::lexer::test::test_valid_continuation ... ok [INFO] [stdout] test scanner::lexer::test::test_valid_start ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 60 tests [INFO] [stderr] Running /opt/crater/target/debug/deps/juicyj-b39832a7908dbf6f [INFO] [stderr] Running /opt/crater/target/debug/deps/_features-d37a70cb1fe84301 [INFO] [stdout] test a08 ... ok [INFO] [stdout] test a07 ... ok [INFO] [stdout] test a05 ... ok [INFO] [stdout] test a06 ... ok [INFO] [stdout] test a04 ... ok [INFO] [stdout] test a01 ... ok [INFO] [stdout] test a02 ... ok [INFO] [stdout] test a03 ... ok [INFO] [stdout] test a09 ... ok [INFO] [stdout] test a15 ... ok [INFO] [stdout] test a14 ... ok [INFO] [stdout] test a12 ... ok [INFO] [stdout] test a13 ... ok [INFO] [stdout] test a10 ... ok [INFO] [stdout] test a16 ... ok [INFO] [stdout] test a11 ... ok [INFO] [stdout] test a17 ... ok [INFO] [stdout] test a19 ... ok [INFO] [stdout] test a21 ... ok [INFO] [stdout] test a24 ... ok [INFO] [stdout] test a23 ... ok [INFO] [stdout] test a18 ... ok [INFO] [stdout] test a26 ... ok [INFO] [stdout] test a22 ... ok [INFO] [stdout] test a20 ... ok [INFO] [stdout] test a27 ... ok [INFO] [stdout] test a25 ... ok [INFO] [stdout] test a28 ... ok [INFO] [stdout] test a29 ... ok [INFO] [stdout] test a31 ... ok [INFO] [stdout] test a30 ... ok [INFO] [stdout] test a32 ... ok [INFO] [stdout] test a34 ... ok [INFO] [stdout] test a33 ... ok [INFO] [stdout] test a35 ... ok [INFO] [stdout] test a37 ... ok [INFO] [stdout] test a36 ... ok [INFO] [stdout] test a38 ... ok [INFO] [stdout] test a39 ... ok [INFO] [stdout] test a43 ... ok [INFO] [stdout] test a41 ... ok [INFO] [stdout] test a44 ... ok [INFO] [stdout] test a42 ... ok [INFO] [stdout] test a40 ... ok [INFO] [stdout] test a46 ... ok [INFO] [stdout] test a47 ... ok [INFO] [stdout] test a45 ... ok [INFO] [stdout] test a48 ... ok [INFO] [stdout] test a49 ... ok [INFO] [stdout] test a52 ... ok [INFO] [stdout] test a51 ... ok [INFO] [stdout] test a50 ... ok [INFO] [stdout] test a55 ... ok [INFO] [stdout] test a53 ... ok [INFO] [stdout] test a54 ... ok [INFO] [stdout] test a56 ... ok [INFO] [stdout] test a57 ... ok [INFO] [stdout] test a58 ... ok [INFO] [stdout] test a60 ... ok [INFO] [stdout] test a59 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 60 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] Running /opt/crater/target/debug/deps/_special-6e4da61ed7898fe6 [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test implicitly_abstract_methods ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] Running /opt/crater/target/debug/deps/_stdlib-5abf10a400d21afd [INFO] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] test io_serializable ... ok [INFO] [stdout] test lang_class ... ok [INFO] [stdout] test lang_cloneable ... ok [INFO] [stdout] test lang_character ... ok [INFO] [stdout] test lang_byte ... ok [INFO] [stdout] test io_outputstream ... ok [INFO] [stdout] test lang_boolean ... ok [INFO] [stdout] test io_printstream ... ok [INFO] [stdout] test lang_integer ... ok [INFO] [stdout] test lang_number ... ok [INFO] [stdout] test lang_short ... ok [INFO] [stdout] test lang_system ... ok [INFO] [stdout] test lang_object ... ok [INFO] [stdout] test util_arrays ... ok [INFO] [stdout] test lang_string ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] Running /opt/crater/target/debug/deps/a1_fail-1ef8ca310bcfe135 [INFO] [stdout] [INFO] [stdout] running 190 tests [INFO] [stdout] test je_16_incdec_final_arraylengthinc ... ok [INFO] [stdout] test je_16_incdec_final_arraylengthdec ... ok [INFO] [stdout] test je_16_closestmatch_constructor_noclosestmatch_this ... ok [INFO] [stdout] test je_16_closestmatch_array ... ok [INFO] [stdout] test je_16_circularity_3 ... ok [INFO] [stdout] test je_16_circularity_2 ... ok [INFO] [stdout] test je_16_circularity_1 ... ok [INFO] [stdout] test je_16_circularity_4_rhoshaped ... ok [INFO] [stdout] test je_16_incdec_stringpredec ... ok [INFO] [stdout] test je_16_incdec_final_postinc ... ok [INFO] [stdout] test je_16_incdec_final_postdec ... ok [INFO] [stdout] test je_16_incdec_final_predec ... ok [INFO] [stdout] test je_16_incdec_final_preinc ... ok [INFO] [stdout] test je_16_incdec_stringpostdec ... ok [INFO] [stdout] test je_16_incdec_stringpostinc ... ok [INFO] [stdout] test je_16_incdec_stringpreinc ... ok [INFO] [stdout] test je_16_staticthis_argumenttosuper ... ok [INFO] [stdout] test je_16_multiarraycreation_assign_1 ... ok [INFO] [stdout] test je_16_throw_notsubclass ... ok [INFO] [stdout] test je_16_multiarraycreation_null ... ok [INFO] [stdout] test je_16_superthis_invalidsuperparameter ... ok [INFO] [stdout] test je_16_throw_nothrows ... ok [INFO] [stdout] test je_16_staticthis_argumenttothis ... ok [INFO] [stdout] test je_16_superthis_invalidthisparameter ... ok [INFO] [stdout] test je_16_throw_simpletype ... ok [INFO] [stdout] test je_17_unreachable_afterthrowinconditional ... ok [INFO] [stdout] test je_16_throws_this ... ok [INFO] [stdout] test je_1_abstractclass_abstractconstructor ... ok [INFO] [stdout] test je_16_throw_throwsnotsuperclass ... ok [INFO] [stdout] test je_1_abstractclass_final ... ok [INFO] [stdout] test je_17_unreachable_afterthrow ... ok [INFO] [stdout] test je_1_abstractmethod_body ... ok [INFO] [stdout] test je_1_abstractmethod_emptybody ... ok [INFO] [stdout] test je_1_abstractmethod_final ... ok [INFO] [stdout] test je_1_abstractmethod_static ... ok [INFO] [stdout] test je_1_access_privatelocal ... ok [INFO] [stdout] test je_1_access_publiclocal ... ok [INFO] [stdout] test je_1_access_protectedlocal ... ok [INFO] [stdout] test je_1_abstractmethodcannotbefinal ... ok [INFO] [stdout] test je_1_array_data ... ok [INFO] [stdout] test je_1_array_data_empty ... ok [INFO] [stdout] test je_1_array_onvariablenameindecl ... ok [INFO] [stdout] test je_1_cast_expression ... ok [INFO] [stdout] test je_1_cast_doubleparenthese ... ok [INFO] [stdout] test je_1_cast_lefthandsideofassignment_1 ... ok [INFO] [stdout] test je_1_cast_lefthandsideofassignment_2 ... ok [INFO] [stdout] test je_1_cast_nonstaticfield ... ok [INFO] [stdout] test je_1_cast_tomethodinvoke ... ok [INFO] [stdout] test je_1_cast_noparenthesis ... ok [INFO] [stdout] test je_1_classdeclaration_wrongfilename ... ok [INFO] [stdout] test je_1_casttoarraylvalue ... ok [INFO] [stdout] test je_1_classdeclaration_wrongfilename_suffix ... ok [INFO] [stdout] test je_1_classdeclaration_wrongfilename_dotfoo ... ok [INFO] [stdout] test je_1_classinstantiation_instantiatesimpletype ... ok [INFO] [stdout] test je_1_declarations_multiplevars ... ok [INFO] [stdout] test je_1_classinstantiation_instantiatesimplevalue ... ok [INFO] [stdout] test je_1_declarations_multiplevars_fields ... ok [INFO] [stdout] test je_1_escapes_1digitoctal_1 ... ok [INFO] [stdout] test je_1_escapes_1digitoctal_2 ... ok [INFO] [stdout] test je_1_escapes_1digitoctal_3 ... ok [INFO] [stdout] test je_1_escapes_1digitoctal_4 ... ok [INFO] [stdout] test je_1_escapes_2digitoctal_1 ... ok [INFO] [stdout] test je_1_escapes_2digitoctal_3 ... ok [INFO] [stdout] test je_1_escapes_2digitoctal_2 ... ok [INFO] [stdout] test je_1_escapes_3digitoctal_1 ... ok [INFO] [stdout] test je_1_extends_simpletype ... ok [INFO] [stdout] test je_1_extends_namedtypearray ... ok [INFO] [stdout] test je_1_escapes_3digitoctal_2 ... ok [INFO] [stdout] test je_1_extends_value ... ok [INFO] [stdout] test je_1_escapes_3digitoctal_3 ... ok [INFO] [stdout] test je_1_finalfield_noinitializer ... ok [INFO] [stdout] test je_1_escapes_nonexistingescape ... ok [INFO] [stdout] test je_1_extends_simpletypearray ... ok [INFO] [stdout] test je_1_for_multipleupdates ... ok [INFO] [stdout] test je_1_for_declarationinupdate ... ok [INFO] [stdout] test je_1_for_multipledeclarationsininit ... ok [INFO] [stdout] test je_1_for_primaryexpininit ... ok [INFO] [stdout] test je_1_for_notastatementinupdate ... ok [INFO] [stdout] test je_1_for_primaryexpinupdate ... ok [INFO] [stdout] test je_1_for_statementininit ... ok [INFO] [stdout] test je_1_formals_final ... ok [INFO] [stdout] test je_1_formals_initializer_constructor ... ok [INFO] [stdout] test je_1_identifiers_private ... ok [INFO] [stdout] test je_1_identifiers_goto ... ok [INFO] [stdout] test je_1_implements_simpletype ... ok [INFO] [stdout] test je_1_formals_initializer_method ... ok [INFO] [stdout] test je_1_implements_namedtypearray ... ok [INFO] [stdout] test je_1_implements_simpletypearray ... ok [INFO] [stdout] test je_1_implements_value ... ok [INFO] [stdout] test je_1_incdec_incdecnotlvalue ... ok [INFO] [stdout] test je_1_incdec_parenthesized ... ok [INFO] [stdout] test je_1_instanceof_primitive ... ok [INFO] [stdout] test je_1_instanceof_null ... ok [INFO] [stdout] test je_1_instanceinitializers ... ok [INFO] [stdout] test je_1_instanceof_void ... ok [INFO] [stdout] test je_1_interface_constructorabstract ... ok [INFO] [stdout] test je_1_interface_constructorbody ... ok [INFO] [stdout] test je_1_interface_nobody ... ok [INFO] [stdout] test je_1_interface_field ... ok [INFO] [stdout] test je_1_interface_wrongfilename ... ok [INFO] [stdout] test je_1_interface_methodbody ... ok [INFO] [stdout] test je_1_intrange_minustoobigint ... ok [INFO] [stdout] test je_1_intrange_plustoobigint ... ok [INFO] [stdout] test je_1_interface_finalmethod ... ok [INFO] [stdout] test je_1_interface_staticmethod ... ok [INFO] [stdout] test je_1_intrange_toobigint ... ok [INFO] [stdout] test je_1_intrange_toobigintnegated ... ok [INFO] [stdout] test je_1_joostypes_double ... ok [INFO] [stdout] test je_1_intrange_toobigint_ininitializer ... ok [INFO] [stdout] test je_1_joostypes_float ... ok [INFO] [stdout] test je_1_joostypes_long ... ok [INFO] [stdout] test je_1_labeledstatements ... ok [INFO] [stdout] test je_1_literals_exponential ... ok [INFO] [stdout] test je_1_literals_class ... ok [INFO] [stdout] test je_1_literals_hex ... ok [INFO] [stdout] test je_1_literals_octal ... ok [INFO] [stdout] test je_1_literals_float ... ok [INFO] [stdout] test je_1_literals_long ... ok [INFO] [stdout] test je_1_methods_nonabstractnobody ... ok [INFO] [stdout] test je_1_methods_missingaccessmodifier ... ok [INFO] [stdout] test je_1_locals_final ... ok [INFO] [stdout] test je_1_methods_staticfinal ... ok [INFO] [stdout] test je_1_multiarraycreation_assign_2 ... ok [INFO] [stdout] test je_1_multiarraycreation_missingdimension_2 ... ok [INFO] [stdout] test je_1_multiarraycreation_missingdimension_4 ... ok [INFO] [stdout] test je_1_multiarraycreation_missingdimension_1 ... ok [INFO] [stdout] test je_1_multiarraycreation_notype ... ok [INFO] [stdout] test je_1_neginttoolow ... ok [INFO] [stdout] test je_1_multiarraytypes_dimensions ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_bitwiseand ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_bitwiseor ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_minus ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_divide ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_bitwisexor ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_multiply ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_plus ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_remainder ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_shiftleft ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_signshiftright ... ok [INFO] [stdout] test je_1_nonjoosconstructs_assignmentoperations_zeroshiftright ... ok [INFO] [stdout] test je_1_nonjoosconstructs_bitshift_left ... ok [INFO] [stdout] test je_1_nonjoosconstructs_bitshift_signright ... ok [INFO] [stdout] test je_1_nonjoosconstructs_bitwise_negation ... ok [INFO] [stdout] test je_1_nonjoosconstructs_break ... ok [INFO] [stdout] test je_1_nonjoosconstructs_bitshift_zeroright ... ok [INFO] [stdout] test je_1_nonjoosconstructs_choice ... ok [INFO] [stdout] test je_1_nonjoosconstructs_dowhile ... ok [INFO] [stdout] test je_1_nonjoosconstructs_multipletypesprfile ... ok [INFO] [stdout] test je_1_nonjoosconstructs_continue ... ok [INFO] [stdout] test je_1_nonjoosconstructs_expressionsequence ... ok [INFO] [stdout] test je_1_nonjoosconstructs_nestedtypes ... ok [INFO] [stdout] test je_1_nonjoosconstructs_privatefields ... ok [INFO] [stdout] test je_1_nonjoosconstructs_privatemethods ... ok [INFO] [stdout] test je_1_nonjoosconstructs_strictftp ... ok [INFO] [stdout] test je_1_nonjoosconstructs_staticinitializers ... ok [INFO] [stdout] test je_1_nonjoosconstructs_switch ... ok [INFO] [stdout] test je_1_nonjoosconstructs_supermethodcall ... ok [INFO] [stdout] test je_1_nonjoosconstructs_synchronized ... ok [INFO] [stdout] test je_1_nonjoosconstructs_synchronizedstatement ... ok [INFO] [stdout] test je_1_nonjoosconstructs_unaryplus ... ok [INFO] [stdout] test je_1_nonjoosconstructs_transient ... ok [INFO] [stdout] test je_1_packageprivate_class ... ok [INFO] [stdout] test je_1_nonjoosconstructs_unicode ... ok [INFO] [stdout] test je_1_nonjoosconstructs_volatile ... ok [INFO] [stdout] test je_1_packageprivate_field ... ok [INFO] [stdout] test je_1_packageprivate_method ... ok [INFO] [stdout] test je_1_superthis_superafterblock ... ok [INFO] [stdout] test je_1_superthis_superafterstatement ... ok [INFO] [stdout] test je_1_superthis_superinblock ... ok [INFO] [stdout] test je_1_superthis_superinmethod ... ok [INFO] [stdout] test je_1_superthis_thisafterstatement ... ok [INFO] [stdout] test je_1_superthis_superthis ... ok [INFO] [stdout] test je_1_superthis_thisinmethod ... ok [INFO] [stdout] test je_1_superthis_twosupercalls ... ok [INFO] [stdout] test je_1_throw_notexpression ... ok [INFO] [stdout] test je_1_throws_array ... ok [INFO] [stdout] test je_1_throws_simpletype ... ok [INFO] [stdout] test je_1_throws_void ... ok [INFO] [stdout] test je_1_voidtype_arraydeclaration ... ok [INFO] [stdout] test je_1_voidtype_cast ... ok [INFO] [stdout] test je_1_voidtype_arraycreation ... ok [INFO] [stdout] test je_1_voidtype_field ... ok [INFO] [stdout] test je_1_voidtype_formals ... ok [INFO] [stdout] test je_1_voidtype_local ... ok [INFO] [stdout] test je_6_assignable_instanceof_simpletypeofsimpletype ... ok [INFO] [stdout] test je_1_voidtype_voidmethod ... ok [INFO] [stdout] test je_6_instanceof_primitive_1 ... ok [INFO] [stdout] test je_6_instanceof_primitive_2 ... ok [INFO] [stdout] test je_native ... ok [INFO] [stdout] test je_throws ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 190 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] Running /opt/crater/target/debug/deps/a1_pass-f3bc50986862810f [INFO] [stdout] [INFO] [stdout] running 130 tests [INFO] [stdout] test j1_1_cast_multiplereferencearray ... ok [INFO] [stdout] test j1_1_cast_multiplecastofsamevalue_1 ... ok [INFO] [stdout] test j1_1_cast_complement ... ok [INFO] [stdout] test j1_01 ... ok [INFO] [stdout] test j1_1_ambiguousname_accessresultfrommethod ... ok [INFO] [stdout] test j1_1_cast_multiplecastofsamevalue_3 ... ok [INFO] [stdout] test j1_1_cast_multiplecastofsamevalue_2 ... ok [INFO] [stdout] test j1_1_escapes_3digitoctalanddigit ... ok [INFO] [stdout] test j1_abstractmethodwithoutbody ... ok [INFO] [stdout] test j1_1_instanceof_inlazyexp ... ok [INFO] [stdout] test j1_abstractclass ... ok [INFO] [stdout] test j1_1_instanceof_ofcastexpression ... ok [INFO] [stdout] test j1_1_instanceof_ofadditiveexpression ... ok [INFO] [stdout] test j1_arbitrarylocaldeclaration ... ok [INFO] [stdout] test j1_1_intrange_negativeint ... ok [INFO] [stdout] test j1_arithmeticoperations ... ok [INFO] [stdout] test j1_assignmentexp ... ok [INFO] [stdout] test j1_barminusfoo ... ok [INFO] [stdout] test j1_char_escape ... ok [INFO] [stdout] test j1_assignment ... ok [INFO] [stdout] test j1_bigint ... ok [INFO] [stdout] test j1_char ... ok [INFO] [stdout] test j1_arraycreateandindex ... ok [INFO] [stdout] test j1_char_escape2 ... ok [INFO] [stdout] test j1_char_escape3 ... ok [INFO] [stdout] test j1_charadd ... ok [INFO] [stdout] test j1_charcast ... ok [INFO] [stdout] test j1_charliterals ... ok [INFO] [stdout] test j1_charcharinit1 ... ok [INFO] [stdout] test j1_charcharinit2 ... ok [INFO] [stdout] test j1_classinstance ... ok [INFO] [stdout] test j1_commentsinexp1 ... ok [INFO] [stdout] test j1_commentsinexp2 ... ok [INFO] [stdout] test j1_commentsinexp6 ... ok [INFO] [stdout] test j1_commentsinexp5 ... ok [INFO] [stdout] test j1_commentsinexp4 ... ok [INFO] [stdout] test j1_commentsinexp7 ... ok [INFO] [stdout] test j1_commentsinexp3 ... ok [INFO] [stdout] test j1_commentsinexp9 ... ok [INFO] [stdout] test j1_commentsinexp8 ... ok [INFO] [stdout] test j1_comparisonoperations ... ok [INFO] [stdout] test j1_concat_in_binop ... ok [INFO] [stdout] test j1_constructorparameter ... ok [INFO] [stdout] test j1_constructorwithsamenameasmethod ... ok [INFO] [stdout] test j1_eagerbooleanoperations ... ok [INFO] [stdout] test j1_evalmethodinvocationfromparexp ... ok [INFO] [stdout] test j1_constructorbodycast ... ok [INFO] [stdout] test j1_escapeescape ... ok [INFO] [stdout] test j1_exp ... ok [INFO] [stdout] test j1_extends ... FAILED [INFO] [stdout] test j1_finalclass ... ok [INFO] [stdout] test j1_externalcall ... ok [INFO] [stdout] test j1_for_no_short_if ... ok [INFO] [stdout] test j1_finalclass2 ... ok [INFO] [stdout] test j1_forallwaysinit ... ok [INFO] [stdout] test j1_foralwaysinitaswhile ... ok [INFO] [stdout] test j1_forifstatements2 ... ok [INFO] [stdout] test j1_forinfor ... ok [INFO] [stdout] test j1_forbodycast ... ok [INFO] [stdout] test j1_forifstatements1 ... ok [INFO] [stdout] test j1_formethodupdate ... ok [INFO] [stdout] test j1_forifstatements3 ... ok [INFO] [stdout] test j1_forinitcast ... ok [INFO] [stdout] test j1_formethodinit ... ok [INFO] [stdout] test j1_forupdate_classcreation ... ok [INFO] [stdout] test j1_formethodupdate2 ... ok [INFO] [stdout] test j1_forupdatecast ... ok [INFO] [stdout] test j1_if ... ok [INFO] [stdout] test j1_forwithoutexp ... FAILED [INFO] [stdout] test j1_forwithoutinit ... ok [INFO] [stdout] test j1_hello_comment ... ok [INFO] [stdout] test j1_forwithoutupdate ... ok [INFO] [stdout] test j1_if_then ... ok [INFO] [stdout] test j1_if_then_for ... ok [INFO] [stdout] test j1_intarraydecl2 ... ok [INFO] [stdout] test j1_ifthenelse ... ok [INFO] [stdout] test j1_implements ... ok [INFO] [stdout] test j1_intcharinit ... ok [INFO] [stdout] test j1_intarraydecl1 ... ok [INFO] [stdout] test j1_intcast ... ok [INFO] [stdout] test j1_integerfun1 ... ok [INFO] [stdout] test j1_integerfun ... FAILED [INFO] [stdout] test j1_integerfun3 ... FAILED [INFO] [stdout] test j1_intinit ... ok [INFO] [stdout] test j1_intminusfoo ... ok [INFO] [stdout] test j1_intliterals ... ok [INFO] [stdout] test j1_isthisacast ... ok [INFO] [stdout] test j1_intrange_minnegativeint ... ok [INFO] [stdout] test j1_maxint_comment ... ok [INFO] [stdout] test j1_lazybooleanoperations ... ok [INFO] [stdout] test j1_minuschar ... ok [INFO] [stdout] test j1_negativecharcast ... ok [INFO] [stdout] test j1_minusminusminus ... ok [INFO] [stdout] test j1_namedtypearray ... ok [INFO] [stdout] test j1_negativeintcast2 ... ok [INFO] [stdout] test j1_negativebytecast ... ok [INFO] [stdout] test j1_negativeintcast1 ... ok [INFO] [stdout] test j1_negativeintcast3 ... ok [INFO] [stdout] test j1_negativeonebytebytecast ... ok [INFO] [stdout] test j1_negativeonebyteshortcast ... ok [INFO] [stdout] test j1_negativeonebytecharcast ... ok [INFO] [stdout] test j1_negativeonebyteintcast ... ok [INFO] [stdout] test j1_newobject ... ok [INFO] [stdout] test j1_negativeshortcast ... ok [INFO] [stdout] test j1_nonemptyconstructor ... ok [INFO] [stdout] test j1_nullinstanceof1 ... ok [INFO] [stdout] test j1_nullliteral ... ok [INFO] [stdout] test j1_octal_escape ... ok [INFO] [stdout] test j1_octal_escape4 ... ok [INFO] [stdout] test j1_octal_escape3 ... ok [INFO] [stdout] test j1_octal_escape2 ... ok [INFO] [stdout] test j1_primitivecasts ... ok [INFO] [stdout] test j1_octal_escape5 ... ok [INFO] [stdout] test j1_protected ... ok [INFO] [stdout] test j1_protectedfields ... ok [INFO] [stdout] test j1_publicclasses ... ok [INFO] [stdout] test j1_publicfields ... ok [INFO] [stdout] test j1_publicconstructors ... ok [INFO] [stdout] test j1_publicmethods ... ok [INFO] [stdout] test j1_simpletypearray ... ok [INFO] [stdout] test j1_smallint ... ok [INFO] [stdout] test j1_staticmethoddeclaration ... ok [INFO] [stdout] test j1_stringliteralinvoke ... ok [INFO] [stdout] test j1_stringliterals ... ok [INFO] [stdout] test j1w_interface ... ok [INFO] [stdout] test j1_weird_chars ... ok [INFO] [stdout] test j1w_restrictednative ... ok [INFO] [stdout] test j2_staticfielddecl ... ok [INFO] [stdout] test j1w_staticfield ... ok [INFO] [stdout] test j2_staticfielddeclaration ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- j1_extends stdout ---- [INFO] [stdout] Verification Error [INFO] [stdout] could not resolve ASTNode { token: Token { kind: NonTerminal, lexeme: Some("Name") }, children: [ASTNode { token: Token { kind: Identifier, lexeme: Some("PrintStream") }, children: [] }, ASTNode { token: Token { kind: Dot, lexeme: None }, children: [] }, ASTNode { token: Token { kind: Identifier, lexeme: Some("nativeWrite") }, children: [] }] } to method from class ASTNode { token: Token { kind: NonTerminal, lexeme: Some("Name") }, children: [ASTNode { token: Token { kind: Identifier, lexeme: Some("juicyj_unnamed") }, children: [] }, ASTNode { token: Token { kind: Dot, lexeme: None }, children: [] }, ASTNode { token: Token { kind: Identifier, lexeme: Some("J1_extends") }, children: [] }] } [INFO] [stdout] got errors: [INFO] [stdout] Err("could not lookup method in variables") [INFO] [stdout] Err("could not lookup method in environment") [INFO] [stdout] Err("resolved method \n PrintStream [Identifier]\n Dot\n nativeWrite [Identifier] to class \n juicyj_unnamed [Identifier]\n Dot\n J1_extends [Identifier] without that method") [INFO] [stdout] thread 'j1_extends' panicked at 'assertion failed: false', src/analysis/mod.rs:100:17 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x56118bf03483 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h6485381528590a55 [INFO] [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39 [INFO] [stdout] 1: 0x56118befedbb - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x56118bf021c6 - std::panicking::default_hook::{{closure}}::he20974adbefcc046 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] at src/libstd/panicking.rs:197 [INFO] [stdout] 3: 0x56118bf01eee - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x56118bf028cf - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x56118beec5d7 - std::panicking::begin_panic::h1f6a34bd37914955 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:408 [INFO] [stdout] 6: 0x56118be7c387 - juicyj::analysis::tests::analyze_or_assert::h00ddecf23382586e [INFO] [stdout] at src/analysis/mod.rs:100 [INFO] [stdout] 7: 0x56118bd89de1 - a1_pass::j1_extends::h99e95b1d69ecc22a [INFO] [stdout] at tests/a1_pass.rs:28 [INFO] [stdout] 8: 0x56118bd896e9 - a1_pass::j1_extends::{{closure}}::h478d3d2d4b37474d [INFO] [stdout] at tests/a1_pass.rs:7 [INFO] [stdout] 9: 0x56118bdbca6d - core::ops::function::FnOnce::call_once::hfaf1f33631f7457c [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 10: 0x56118bdc9b2e - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 11: 0x56118bf059d9 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 12: 0x56118bde4427 - test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 13: 0x56118bdbee44 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 14: 0x56118bdc2ef4 - std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 15: 0x56118bf059d9 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 16: 0x56118bdc3501 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 17: 0x56118bef689e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 18: 0x56118bf050bf - std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 19: 0x7f14f74024a3 - start_thread [INFO] [stdout] 20: 0x7f14f6f2dd0e - __clone [INFO] [stdout] 21: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- j1_forwithoutexp stdout ---- [INFO] [stdout] Verification Error [INFO] [stdout] for condition is not a boolean [INFO] [stdout] thread 'j1_forwithoutexp' panicked at 'assertion failed: false', src/analysis/mod.rs:100:17 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x56118bf03483 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h6485381528590a55 [INFO] [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39 [INFO] [stdout] 1: 0x56118befedbb - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x56118bf021c6 - std::panicking::default_hook::{{closure}}::he20974adbefcc046 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] at src/libstd/panicking.rs:197 [INFO] [stdout] 3: 0x56118bf01eee - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x56118bf028cf - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x56118beec5d7 - std::panicking::begin_panic::h1f6a34bd37914955 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:408 [INFO] [stdout] 6: 0x56118be7c387 - juicyj::analysis::tests::analyze_or_assert::h00ddecf23382586e [INFO] [stdout] at src/analysis/mod.rs:100 [INFO] [stdout] 7: 0x56118bd946a1 - a1_pass::j1_forwithoutexp::h3fb36d03e5d458bf [INFO] [stdout] at tests/a1_pass.rs:28 [INFO] [stdout] 8: 0x56118bd93fa9 - a1_pass::j1_forwithoutexp::{{closure}}::hce44cac76086e922 [INFO] [stdout] at tests/a1_pass.rs:7 [INFO] [stdout] 9: 0x56118bdbc96d - core::ops::function::FnOnce::call_once::hf5132157371baaff [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 10: 0x56118bdc9b2e - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 11: 0x56118bf059d9 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 12: 0x56118bde4427 - test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 13: 0x56118bdbee44 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 14: 0x56118bdc2ef4 - std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 15: 0x56118bf059d9 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 16: 0x56118bdc3501 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 17: 0x56118bef689e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 18: 0x56118bf050bf - std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 19: 0x7f14f74024a3 - start_thread [INFO] [stdout] 20: 0x7f14f6f2dd0e - __clone [INFO] [stdout] 21: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- j1_integerfun stdout ---- [INFO] [stdout] thread 'j1_integerfun' panicked at 'attempt to multiply with overflow', src/analysis/types/obj.rs:260:41 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x56118bf03483 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h6485381528590a55 [INFO] [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39 [INFO] [stdout] 1: 0x56118befedbb - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x56118bf021c6 - std::panicking::default_hook::{{closure}}::he20974adbefcc046 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] at src/libstd/panicking.rs:197 [INFO] [stdout] 3: 0x56118bf01eee - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x56118bf028cf - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x56118bf02451 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x56118bf02335 - rust_begin_unwind [INFO] [stdout] at src/libstd/panicking.rs:308 [INFO] [stdout] 7: 0x56118bf149ec - core::panicking::panic_fmt::hc4f83bfed80aeabd [INFO] [stdout] at src/libcore/panicking.rs:85 [INFO] [stdout] 8: 0x56118bf1492b - core::panicking::panic::h62fdcfa056e70982 [INFO] [stdout] at src/libcore/panicking.rs:49 [INFO] [stdout] 9: 0x56118be3371c - juicyj::analysis::types::obj::Type::apply_math::h222fceb2d80aae9b [INFO] [stdout] at src/analysis/types/obj.rs:260 [INFO] [stdout] 10: 0x56118be73ded - juicyj::analysis::types::resolve::math::go::hbaef110c102344d7 [INFO] [stdout] at src/analysis/types/resolve/math.rs:24 [INFO] [stdout] 11: 0x56118be4f7b2 - juicyj::analysis::types::resolve::expression::go::hcacca0b9f83a50de [INFO] [stdout] at src/analysis/types/resolve/expression.rs:75 [INFO] [stdout] 12: 0x56118bede73f - juicyj::analysis::types::resolve::comparison::twoarg::h036cf585aaa8cf54 [INFO] [stdout] at src/analysis/types/resolve/comparison.rs:82 [INFO] [stdout] 13: 0x56118be4f74c - juicyj::analysis::types::resolve::expression::go::hcacca0b9f83a50de [INFO] [stdout] at src/analysis/types/resolve/expression.rs:69 [INFO] [stdout] 14: 0x56118be3fc97 - juicyj::analysis::types::verify::method::statement::nonblock::h30c8adf3d6dbcfbc [INFO] [stdout] at src/analysis/types/verify/method/statement.rs:271 [INFO] [stdout] 15: 0x56118be3c4ac - juicyj::analysis::types::verify::method::statement::block::h523c35ce65e454be [INFO] [stdout] at src/analysis/types/verify/method/statement.rs:74 [INFO] [stdout] 16: 0x56118be3e958 - juicyj::analysis::types::verify::method::statement::nonblock::h30c8adf3d6dbcfbc [INFO] [stdout] at src/analysis/types/verify/method/statement.rs:180 [INFO] [stdout] 17: 0x56118be3bc77 - juicyj::analysis::types::verify::method::statement::block::h523c35ce65e454be [INFO] [stdout] at src/analysis/types/verify/method/statement.rs:42 [INFO] [stdout] 18: 0x56118be1fd86 - juicyj::analysis::types::verify_env::hdff4c47e92288503 [INFO] [stdout] at src/analysis/types/mod.rs:319 [INFO] [stdout] 19: 0x56118be206cb - juicyj::analysis::types::verify::h39b177bbecf5bc0e [INFO] [stdout] at src/analysis/types/mod.rs:369 [INFO] [stdout] 20: 0x56118be7c3ee - juicyj::analysis::tests::analyze_or_assert::h00ddecf23382586e [INFO] [stdout] at src/analysis/mod.rs:95 [INFO] [stdout] 21: 0x56118bd9c081 - a1_pass::j1_integerfun::h0b3629e319ff365a [INFO] [stdout] at tests/a1_pass.rs:28 [INFO] [stdout] 22: 0x56118bd9b989 - a1_pass::j1_integerfun::{{closure}}::h18e1d5dce9ae7f8e [INFO] [stdout] at tests/a1_pass.rs:7 [INFO] [stdout] 23: 0x56118bdbacad - core::ops::function::FnOnce::call_once::h103b51ae54480fc0 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 24: 0x56118bdc9b2e - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 25: 0x56118bf059d9 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 26: 0x56118bde4427 - test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 27: 0x56118bdbee44 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 28: 0x56118bdc2ef4 - std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 29: 0x56118bf059d9 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 30: 0x56118bdc3501 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 31: 0x56118bef689e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 32: 0x56118bf050bf - std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 33: 0x7f14f74024a3 - start_thread [INFO] [stdout] 34: 0x7f14f6f2dd0e - __clone [INFO] [stdout] 35: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- j1_integerfun3 stdout ---- [INFO] [stdout] thread 'j1_integerfun3' panicked at 'attempt to multiply with overflow', src/analysis/types/obj.rs:260:41 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x56118bf03483 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h6485381528590a55 [INFO] [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39 [INFO] [stdout] 1: 0x56118befedbb - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x56118bf021c6 - std::panicking::default_hook::{{closure}}::he20974adbefcc046 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] at src/libstd/panicking.rs:197 [INFO] [stdout] 3: 0x56118bf01eee - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x56118bf028cf - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x56118bf02451 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x56118bf02335 - rust_begin_unwind [INFO] [stdout] at src/libstd/panicking.rs:308 [INFO] [stdout] 7: 0x56118bf149ec - core::panicking::panic_fmt::hc4f83bfed80aeabd [INFO] [stdout] at src/libcore/panicking.rs:85 [INFO] [stdout] 8: 0x56118bf1492b - core::panicking::panic::h62fdcfa056e70982 [INFO] [stdout] at src/libcore/panicking.rs:49 [INFO] [stdout] 9: 0x56118be3371c - juicyj::analysis::types::obj::Type::apply_math::h222fceb2d80aae9b [INFO] [stdout] at src/analysis/types/obj.rs:260 [INFO] [stdout] 10: 0x56118be73ded - juicyj::analysis::types::resolve::math::go::hbaef110c102344d7 [INFO] [stdout] at src/analysis/types/resolve/math.rs:24 [INFO] [stdout] 11: 0x56118be4f7b2 - juicyj::analysis::types::resolve::expression::go::hcacca0b9f83a50de [INFO] [stdout] at src/analysis/types/resolve/expression.rs:75 [INFO] [stdout] 12: 0x56118bede73f - juicyj::analysis::types::resolve::comparison::twoarg::h036cf585aaa8cf54 [INFO] [stdout] at src/analysis/types/resolve/comparison.rs:82 [INFO] [stdout] 13: 0x56118be4f74c - juicyj::analysis::types::resolve::expression::go::hcacca0b9f83a50de [INFO] [stdout] at src/analysis/types/resolve/expression.rs:69 [INFO] [stdout] 14: 0x56118be3fc97 - juicyj::analysis::types::verify::method::statement::nonblock::h30c8adf3d6dbcfbc [INFO] [stdout] at src/analysis/types/verify/method/statement.rs:271 [INFO] [stdout] 15: 0x56118be3c4ac - juicyj::analysis::types::verify::method::statement::block::h523c35ce65e454be [INFO] [stdout] at src/analysis/types/verify/method/statement.rs:74 [INFO] [stdout] 16: 0x56118be3e958 - juicyj::analysis::types::verify::method::statement::nonblock::h30c8adf3d6dbcfbc [INFO] [stdout] at src/analysis/types/verify/method/statement.rs:180 [INFO] [stdout] 17: 0x56118be3bc77 - juicyj::analysis::types::verify::method::statement::block::h523c35ce65e454be [INFO] [stdout] at src/analysis/types/verify/method/statement.rs:42 [INFO] [stdout] 18: 0x56118be1fd86 - juicyj::analysis::types::verify_env::hdff4c47e92288503 [INFO] [stdout] at src/analysis/types/mod.rs:319 [INFO] [stdout] 19: 0x56118be206cb - juicyj::analysis::types::verify::h39b177bbecf5bc0e [INFO] [stdout] at src/analysis/types/mod.rs:369 [INFO] [stdout] 20: 0x56118be7c3ee - juicyj::analysis::tests::analyze_or_assert::h00ddecf23382586e [INFO] [stdout] at src/analysis/mod.rs:95 [INFO] [stdout] 21: 0x56118bd9d341 - a1_pass::j1_integerfun3::hb0d3cd2d7d82f62f [INFO] [stdout] at tests/a1_pass.rs:28 [INFO] [stdout] 22: 0x56118bd9cc49 - a1_pass::j1_integerfun3::{{closure}}::h7be5dde5b49a6988 [INFO] [stdout] at tests/a1_pass.rs:7 [INFO] [stdout] 23: 0x56118bdbb56d - core::ops::function::FnOnce::call_once::h645e68db1e53bda6 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 24: 0x56118bdc9b2e - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 25: 0x56118bf059d9 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 26: 0x56118bde4427 - test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 27: 0x56118bdbee44 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 28: 0x56118bdc2ef4 - std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 29: 0x56118bf059d9 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 30: 0x56118bdc3501 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 31: 0x56118bef689e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 32: 0x56118bf050bf - std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 33: 0x7f14f74024a3 - start_thread [INFO] [stdout] 34: 0x7f14f6f2dd0e - __clone [INFO] [stdout] 35: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] j1_extends [INFO] [stdout] j1_forwithoutexp [INFO] [stdout] j1_integerfun [INFO] [stdout] j1_integerfun3 [INFO] [stdout] [INFO] [stdout] test result: FAILED. 126 passed; 4 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--test a1_pass' [INFO] running `"docker" "inspect" "72cb517b8f0a97fe865a7298b412910a4c8c07bbf573757fd850723f27dfdb92"` [INFO] running `"docker" "rm" "-f" "72cb517b8f0a97fe865a7298b412910a4c8c07bbf573757fd850723f27dfdb92"` [INFO] [stdout] 72cb517b8f0a97fe865a7298b412910a4c8c07bbf573757fd850723f27dfdb92