Oct 12 20:34:45.941 INFO testing ttaubert/tlc against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling-1
Oct 12 20:34:45.941 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-5/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-5/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Oct 12 20:34:46.308 INFO blam! a9a163218d5d82b41381431ec7fdbb449b8b8298e2303b345aac5482049b3055
Oct 12 20:34:46.315 INFO running `"docker" "start" "-a" "a9a163218d5d82b41381431ec7fdbb449b8b8298e2303b345aac5482049b3055"`
Oct 12 20:34:47.407 INFO kablam! usermod: no changes
Oct 12 20:34:47.487 INFO kablam!    Compiling libc v0.2.33
Oct 12 20:34:47.487 INFO kablam!    Compiling either v1.4.0
Oct 12 20:34:47.832 INFO kablam!    Compiling itertools v0.7.2
Oct 12 20:34:49.663 INFO kablam!    Compiling memchr v1.0.2
Oct 12 20:34:50.511 INFO kablam!    Compiling nom v3.2.1
Oct 12 20:34:55.172 INFO kablam!    Compiling tlc v0.1.0 (/source)
Oct 12 20:34:59.959 INFO kablam! warning: unused variable: `spec`
Oct 12 20:34:59.960 INFO kablam!   --> src/main.rs:63:9
Oct 12 20:34:59.961 INFO kablam!    |
Oct 12 20:34:59.962 INFO kablam! 63 |     let spec = predicates.get(&spec_id).expect("Couldn't find predicate 'Spec'.");
Oct 12 20:34:59.962 INFO kablam!    |         ^^^^ help: consider using `_spec` instead
Oct 12 20:34:59.963 INFO kablam!    |
Oct 12 20:34:59.964 INFO kablam!    = note: #[warn(unused_variables)] on by default
Oct 12 20:34:59.964 INFO kablam! 
Oct 12 20:35:00.871 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 13.44s
Oct 12 20:35:00.874 INFO kablam! su: No module specific data is present
Oct 12 20:35:02.239 INFO running `"docker" "rm" "-f" "a9a163218d5d82b41381431ec7fdbb449b8b8298e2303b345aac5482049b3055"`
Oct 12 20:35:02.555 INFO blam! a9a163218d5d82b41381431ec7fdbb449b8b8298e2303b345aac5482049b3055
Oct 12 20:35:02.557 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-5/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-5/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Oct 12 20:35:02.911 INFO blam! e9e23bea6dec3a7f5906611a47ed919d0f989b220bd6ae679930f539666e7376
Oct 12 20:35:02.917 INFO running `"docker" "start" "-a" "e9e23bea6dec3a7f5906611a47ed919d0f989b220bd6ae679930f539666e7376"`
Oct 12 20:35:04.131 INFO kablam! usermod: no changes
Oct 12 20:35:04.217 INFO kablam!    Compiling tlc v0.1.0 (/source)
Oct 12 20:35:04.911 INFO kablam! warning: unused variable: `spec`
Oct 12 20:35:04.911 INFO kablam!   --> src/main.rs:63:9
Oct 12 20:35:04.911 INFO kablam!    |
Oct 12 20:35:04.911 INFO kablam! 63 |     let spec = predicates.get(&spec_id).expect("Couldn't find predicate 'Spec'.");
Oct 12 20:35:04.911 INFO kablam!    |         ^^^^ help: consider using `_spec` instead
Oct 12 20:35:04.911 INFO kablam!    |
Oct 12 20:35:04.911 INFO kablam!    = note: #[warn(unused_variables)] on by default
Oct 12 20:35:04.911 INFO kablam! 
Oct 12 20:35:11.931 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 7.76s
Oct 12 20:35:11.931 INFO kablam! su: No module specific data is present
Oct 12 20:35:12.795 INFO running `"docker" "rm" "-f" "e9e23bea6dec3a7f5906611a47ed919d0f989b220bd6ae679930f539666e7376"`
Oct 12 20:35:13.183 INFO blam! e9e23bea6dec3a7f5906611a47ed919d0f989b220bd6ae679930f539666e7376
Oct 12 20:35:13.193 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-5/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-5/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Oct 12 20:35:13.689 INFO blam! 2ec069c90a52914ddd7e1f488c64baea9f76f78de20426b36aa601e521b38d1a
Oct 12 20:35:13.690 INFO running `"docker" "start" "-a" "2ec069c90a52914ddd7e1f488c64baea9f76f78de20426b36aa601e521b38d1a"`
Oct 12 20:35:15.063 INFO kablam! usermod: no changes
Oct 12 20:35:15.127 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.03s
Oct 12 20:35:15.147 INFO kablam!      Running /target/debug/deps/rtlc-d5b4462ebbe386fb
Oct 12 20:35:15.147 INFO blam! 
Oct 12 20:35:15.147 INFO blam! running 19 tests
Oct 12 20:35:15.147 INFO blam! test atom::tests::test_possible_states_eq ... ok
Oct 12 20:35:15.147 INFO blam! test atom::tests::test_possible_states_mem ... ok
Oct 12 20:35:15.147 INFO blam! test atom::tests::test_possible_states_disj ... ok
Oct 12 20:35:15.147 INFO blam! test atom::tests::test_possible_states_conj ... ok
Oct 12 20:35:15.147 INFO blam! test atom::tests::test_next_states_mem ... ok
Oct 12 20:35:15.147 INFO blam! test parser::tests::test_nextsr ... ok
Oct 12 20:35:15.147 INFO blam! test atom::tests::test_next_states_eq ... ok
Oct 12 20:35:15.147 INFO blam! test parser::tests::test_number ... ok
Oct 12 20:35:15.147 INFO blam! test parser::tests::test_blanks ... ok
Oct 12 20:35:15.147 INFO blam! test parser::tests::test_parse ... ok
Oct 12 20:35:15.147 INFO blam! test atom::tests::test_next_states_disj ... ok
Oct 12 20:35:15.147 INFO blam! test parser::tests::test_predicate ... ok
Oct 12 20:35:15.147 INFO blam! test parser::tests::test_proposition ... ok
Oct 12 20:35:15.147 INFO blam! test parser::tests::test_set ... ok
Oct 12 20:35:15.147 INFO blam! test parser::tests::test_statements ... ok
Oct 12 20:35:15.147 INFO blam! test parser::tests::test_constants ... ok
Oct 12 20:35:15.147 INFO blam! test parser::tests::test_tuple ... ok
Oct 12 20:35:15.155 INFO blam! test parser::tests::test_variables ... ok
Oct 12 20:35:15.155 INFO blam! test atom::tests::test_next_states_conj ... ok
Oct 12 20:35:15.155 INFO blam! 
Oct 12 20:35:15.155 INFO blam! test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 12 20:35:15.155 INFO blam! 
Oct 12 20:35:15.159 INFO kablam!      Running /target/debug/deps/tlc-e8e608786e92313c
Oct 12 20:35:15.159 INFO blam! 
Oct 12 20:35:15.159 INFO blam! running 0 tests
Oct 12 20:35:15.159 INFO blam! 
Oct 12 20:35:15.159 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 12 20:35:15.159 INFO blam! 
Oct 12 20:35:15.163 INFO kablam!      Running /target/debug/deps/parse-5b9b928895a194b0
Oct 12 20:35:15.167 INFO blam! 
Oct 12 20:35:15.167 INFO blam! running 1 test
Oct 12 20:35:15.167 INFO blam! test test_parse_simple_clock ... ok
Oct 12 20:35:15.167 INFO blam! 
Oct 12 20:35:15.167 INFO blam! test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 12 20:35:15.167 INFO blam! 
Oct 12 20:35:15.172 INFO kablam!    Doc-tests rtlc
Oct 12 20:35:15.659 INFO blam! 
Oct 12 20:35:15.660 INFO blam! running 0 tests
Oct 12 20:35:15.660 INFO blam! 
Oct 12 20:35:15.660 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 12 20:35:15.661 INFO blam! 
Oct 12 20:35:15.667 INFO kablam! su: No module specific data is present
Oct 12 20:35:16.667 INFO running `"docker" "rm" "-f" "2ec069c90a52914ddd7e1f488c64baea9f76f78de20426b36aa601e521b38d1a"`
Oct 12 20:35:16.919 INFO blam! 2ec069c90a52914ddd7e1f488c64baea9f76f78de20426b36aa601e521b38d1a