Dec 03 19:00:35.834 INFO testing aterm-0.20.0 against 1.30.1 for beta-1.31-5
Dec 03 19:00:35.834 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +1.30.1 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 19:00:36.267 INFO [stdout] 75fcf64a280b9f81102f3ff6e9f5855149a5d585f2f7032babee60bd34c27d2d
Dec 03 19:00:36.269 INFO running `"docker" "start" "-a" "75fcf64a280b9f81102f3ff6e9f5855149a5d585f2f7032babee60bd34c27d2d"`
Dec 03 19:00:37.483 INFO [stderr] usermod: no changes
Dec 03 19:00:37.603 INFO [stderr]    Compiling aterm v0.20.0 (/source)
Dec 03 19:00:40.035 INFO [stderr] warning: variable does not need to be mutable
Dec 03 19:00:40.035 INFO [stderr]    --> src/rc/mod.rs:221:13
Dec 03 19:00:40.035 INFO [stderr]     |
Dec 03 19:00:40.035 INFO [stderr] 221 |         let mut string_cache = unsafe { extend_lifetime_mut(&mut self.string_cache.borrow_mut()) };
Dec 03 19:00:40.035 INFO [stderr]     |             ----^^^^^^^^^^^^
Dec 03 19:00:40.035 INFO [stderr]     |             |
Dec 03 19:00:40.035 INFO [stderr]     |             help: remove this `mut`
Dec 03 19:00:40.035 INFO [stderr]     |
Dec 03 19:00:40.035 INFO [stderr]     = note: #[warn(unused_mut)] on by default
Dec 03 19:00:40.035 INFO [stderr] 
Dec 03 19:00:40.045 INFO [stderr] warning: variable does not need to be mutable
Dec 03 19:00:40.045 INFO [stderr]   --> src/rc/shared.rs:78:13
Dec 03 19:00:40.045 INFO [stderr]    |
Dec 03 19:00:40.045 INFO [stderr] 78 |         let mut string_cache = unsafe { extend_lifetime_mut(&mut self.string_cache.borrow_mut()) };
Dec 03 19:00:40.045 INFO [stderr]    |             ----^^^^^^^^^^^^
Dec 03 19:00:40.045 INFO [stderr]    |             |
Dec 03 19:00:40.045 INFO [stderr]    |             help: remove this `mut`
Dec 03 19:00:40.045 INFO [stderr] 
Dec 03 19:00:40.147 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 03 19:00:40.147 INFO [stderr]   --> src/rc/mod.rs:71:19
Dec 03 19:00:40.147 INFO [stderr]    |
Dec 03 19:00:40.147 INFO [stderr] 71 | pub type T<'s, A: ATermT<'s>> = Term<'s, <A as ATermT<'s>>::Blob>;
Dec 03 19:00:40.147 INFO [stderr]    |                   ^^^^^^^^^^
Dec 03 19:00:40.147 INFO [stderr]    |
Dec 03 19:00:40.147 INFO [stderr]    = note: #[warn(type_alias_bounds)] on by default
Dec 03 19:00:40.147 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 03 19:00:40.147 INFO [stderr] 
Dec 03 19:00:40.424 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.91s
Dec 03 19:00:40.431 INFO [stderr] su: No module specific data is present
Dec 03 19:00:41.036 INFO running `"docker" "inspect" "75fcf64a280b9f81102f3ff6e9f5855149a5d585f2f7032babee60bd34c27d2d"`
Dec 03 19:00:41.249 INFO running `"docker" "rm" "-f" "75fcf64a280b9f81102f3ff6e9f5855149a5d585f2f7032babee60bd34c27d2d"`
Dec 03 19:00:41.523 INFO [stdout] 75fcf64a280b9f81102f3ff6e9f5855149a5d585f2f7032babee60bd34c27d2d
Dec 03 19:00:41.529 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +1.30.1 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 19:00:41.971 INFO [stdout] 97323a8d010b4be2deb0cedc19d6d0420a2f2e9f8c1da75e24ed1bcc4c6b4821
Dec 03 19:00:41.976 INFO running `"docker" "start" "-a" "97323a8d010b4be2deb0cedc19d6d0420a2f2e9f8c1da75e24ed1bcc4c6b4821"`
Dec 03 19:00:43.239 INFO [stderr] usermod: no changes
Dec 03 19:00:43.296 INFO [stderr]    Compiling aterm v0.20.0 (/source)
Dec 03 19:00:46.111 INFO [stderr] warning: variable does not need to be mutable
Dec 03 19:00:46.111 INFO [stderr]    --> src/rc/mod.rs:221:13
Dec 03 19:00:46.111 INFO [stderr]     |
Dec 03 19:00:46.111 INFO [stderr] 221 |         let mut string_cache = unsafe { extend_lifetime_mut(&mut self.string_cache.borrow_mut()) };
Dec 03 19:00:46.111 INFO [stderr]     |             ----^^^^^^^^^^^^
Dec 03 19:00:46.111 INFO [stderr]     |             |
Dec 03 19:00:46.111 INFO [stderr]     |             help: remove this `mut`
Dec 03 19:00:46.111 INFO [stderr]     |
Dec 03 19:00:46.111 INFO [stderr]     = note: #[warn(unused_mut)] on by default
Dec 03 19:00:46.111 INFO [stderr] 
Dec 03 19:00:46.139 INFO [stderr] warning: variable does not need to be mutable
Dec 03 19:00:46.139 INFO [stderr]   --> src/rc/shared.rs:78:13
Dec 03 19:00:46.139 INFO [stderr]    |
Dec 03 19:00:46.139 INFO [stderr] 78 |         let mut string_cache = unsafe { extend_lifetime_mut(&mut self.string_cache.borrow_mut()) };
Dec 03 19:00:46.139 INFO [stderr]    |             ----^^^^^^^^^^^^
Dec 03 19:00:46.139 INFO [stderr]    |             |
Dec 03 19:00:46.139 INFO [stderr]    |             help: remove this `mut`
Dec 03 19:00:46.139 INFO [stderr] 
Dec 03 19:00:46.459 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 03 19:00:46.459 INFO [stderr]   --> src/rc/mod.rs:71:19
Dec 03 19:00:46.459 INFO [stderr]    |
Dec 03 19:00:46.459 INFO [stderr] 71 | pub type T<'s, A: ATermT<'s>> = Term<'s, <A as ATermT<'s>>::Blob>;
Dec 03 19:00:46.459 INFO [stderr]    |                   ^^^^^^^^^^
Dec 03 19:00:46.459 INFO [stderr]    |
Dec 03 19:00:46.459 INFO [stderr]    = note: #[warn(type_alias_bounds)] on by default
Dec 03 19:00:46.459 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 03 19:00:46.459 INFO [stderr] 
Dec 03 19:00:49.183 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.93s
Dec 03 19:00:49.191 INFO [stderr] su: No module specific data is present
Dec 03 19:00:49.909 INFO running `"docker" "inspect" "97323a8d010b4be2deb0cedc19d6d0420a2f2e9f8c1da75e24ed1bcc4c6b4821"`
Dec 03 19:00:50.091 INFO running `"docker" "rm" "-f" "97323a8d010b4be2deb0cedc19d6d0420a2f2e9f8c1da75e24ed1bcc4c6b4821"`
Dec 03 19:00:50.404 INFO [stdout] 97323a8d010b4be2deb0cedc19d6d0420a2f2e9f8c1da75e24ed1bcc4c6b4821
Dec 03 19:00:50.409 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +1.30.1 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 19:00:50.762 INFO [stdout] 5479cf918b5bb75d182a00d75ecd622848d1e6fd7784e59e32de982b7435920d
Dec 03 19:00:50.767 INFO running `"docker" "start" "-a" "5479cf918b5bb75d182a00d75ecd622848d1e6fd7784e59e32de982b7435920d"`
Dec 03 19:00:52.191 INFO [stderr] usermod: no changes
Dec 03 19:00:52.236 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.02s
Dec 03 19:00:52.255 INFO [stderr]      Running /target/debug/deps/aterm-63d37a96ea2be69c
Dec 03 19:00:52.270 INFO [stdout] 
Dec 03 19:00:52.270 INFO [stdout] running 21 tests
Dec 03 19:00:52.270 INFO [stdout] test parse::tests::a_parens ... ok
Dec 03 19:00:52.270 INFO [stdout] test parse::tests::a_braces ... ok
Dec 03 19:00:52.273 INFO [stdout] test parse::tests::a_parens_braces ... ok
Dec 03 19:00:52.273 INFO [stdout] test parse::tests::a ... ok
Dec 03 19:00:52.273 INFO [stdout] test parse::tests::a_ws ... ok
Dec 03 19:00:52.273 INFO [stdout] test parse::tests::a_ws_parens ... ok
Dec 03 19:00:52.273 INFO [stdout] test parse::tests::a_ws_braces ... ok
Dec 03 19:00:52.280 INFO [stdout] test parse::tests::a_ws_parens_braces ... ok
Dec 03 19:00:52.281 INFO [stdout] test parse::tests::exam_example ... ok
Dec 03 19:00:52.281 INFO [stdout] test parse::tests::int ... ok
Dec 03 19:00:52.281 INFO [stdout] test parse::tests::long ... ok
Dec 03 19:00:52.281 INFO [stdout] test parse::tests::empty_string ... ok
Dec 03 19:00:52.281 INFO [stdout] test parse::tests::child_ordering ... ok
Dec 03 19:00:52.281 INFO [stdout] test parse::tests::empty_list ... ok
Dec 03 19:00:52.281 INFO [stdout] test parse::tests::empty_list_ws ... ok
Dec 03 19:00:52.283 INFO [stdout] test parse::tests::placeholder ... ok
Dec 03 19:00:52.283 INFO [stdout] test parse::tests::single_element_list_ws ... ok
Dec 03 19:00:52.283 INFO [stdout] test parse::tests::single_element_list ... ok
Dec 03 19:00:52.283 INFO [stdout] test parse::tests::two_element_list ... ok
Dec 03 19:00:52.283 INFO [stdout] test parse::tests::two_element_list_ws ... ok
Dec 03 19:00:52.291 INFO [stdout] test parse::tests::string ... ok
Dec 03 19:00:52.291 INFO [stdout] 
Dec 03 19:00:52.291 INFO [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 19:00:52.291 INFO [stdout] 
Dec 03 19:00:52.291 INFO [stderr]    Doc-tests aterm
Dec 03 19:00:55.131 INFO [stdout] 
Dec 03 19:00:55.131 INFO [stdout] running 0 tests
Dec 03 19:00:55.131 INFO [stdout] 
Dec 03 19:00:55.131 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 19:00:55.131 INFO [stdout] 
Dec 03 19:00:55.140 INFO [stderr] su: No module specific data is present
Dec 03 19:00:56.223 INFO running `"docker" "inspect" "5479cf918b5bb75d182a00d75ecd622848d1e6fd7784e59e32de982b7435920d"`
Dec 03 19:00:56.581 INFO running `"docker" "rm" "-f" "5479cf918b5bb75d182a00d75ecd622848d1e6fd7784e59e32de982b7435920d"`
Dec 03 19:00:56.907 INFO [stdout] 5479cf918b5bb75d182a00d75ecd622848d1e6fd7784e59e32de982b7435920d
