Oct 10 13:04:10.262 INFO testing ttaubert/tlc against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 10 13:04:10.262 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 10 13:04:10.262 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-2/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 10 13:04:10.513 INFO blam! 72734d33e4350e1b88129100959cee3a37baf72304b7d2ffa77ec022d05f6ddc
Oct 10 13:04:10.515 INFO running `"docker" "start" "-a" "72734d33e4350e1b88129100959cee3a37baf72304b7d2ffa77ec022d05f6ddc"`
Oct 10 13:04:11.092 INFO kablam! usermod: no changes
Oct 10 13:04:11.133 INFO kablam!    Compiling libc v0.2.33
Oct 10 13:04:11.152 INFO kablam!    Compiling itertools v0.7.2
Oct 10 13:04:12.956 INFO kablam!    Compiling memchr v1.0.2
Oct 10 13:04:13.684 INFO kablam!    Compiling nom v3.2.1
Oct 10 13:04:17.536 INFO kablam!    Compiling tlc v0.1.0 (/source)
Oct 10 13:04:22.373 INFO kablam! warning: unused variable: `spec`
Oct 10 13:04:22.373 INFO kablam!   --> src/main.rs:63:9
Oct 10 13:04:22.373 INFO kablam!    |
Oct 10 13:04:22.373 INFO kablam! 63 |     let spec = predicates.get(&spec_id).expect("Couldn't find predicate 'Spec'.");
Oct 10 13:04:22.373 INFO kablam!    |         ^^^^ help: consider using `_spec` instead
Oct 10 13:04:22.376 INFO kablam!    |
Oct 10 13:04:22.376 INFO kablam!    = note: #[warn(unused_variables)] on by default
Oct 10 13:04:22.376 INFO kablam! 
Oct 10 13:04:23.290 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 12.18s
Oct 10 13:04:23.290 INFO kablam! su: No module specific data is present
Oct 10 13:04:24.144 INFO running `"docker" "rm" "-f" "72734d33e4350e1b88129100959cee3a37baf72304b7d2ffa77ec022d05f6ddc"`
Oct 10 13:04:24.408 INFO blam! 72734d33e4350e1b88129100959cee3a37baf72304b7d2ffa77ec022d05f6ddc
Oct 10 13:04:24.416 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 10 13:04:24.416 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-2/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 10 13:04:24.918 INFO blam! 758eccb3be59d2714129fcf3b769aef1129527d6e53fbad5a732d2f2ff735a6a
Oct 10 13:04:24.918 INFO running `"docker" "start" "-a" "758eccb3be59d2714129fcf3b769aef1129527d6e53fbad5a732d2f2ff735a6a"`
Oct 10 13:04:26.268 INFO kablam! usermod: no changes
Oct 10 13:04:26.336 INFO kablam!    Compiling tlc v0.1.0 (/source)
Oct 10 13:04:28.176 INFO kablam! warning: unused variable: `spec`
Oct 10 13:04:28.176 INFO kablam!   --> src/main.rs:63:9
Oct 10 13:04:28.176 INFO kablam!    |
Oct 10 13:04:28.176 INFO kablam! 63 |     let spec = predicates.get(&spec_id).expect("Couldn't find predicate 'Spec'.");
Oct 10 13:04:28.176 INFO kablam!    |         ^^^^ help: consider using `_spec` instead
Oct 10 13:04:28.176 INFO kablam!    |
Oct 10 13:04:28.176 INFO kablam!    = note: #[warn(unused_variables)] on by default
Oct 10 13:04:28.176 INFO kablam! 
Oct 10 13:04:34.048 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 7.75s
Oct 10 13:04:34.048 INFO kablam! su: No module specific data is present
Oct 10 13:04:35.373 INFO running `"docker" "rm" "-f" "758eccb3be59d2714129fcf3b769aef1129527d6e53fbad5a732d2f2ff735a6a"`
Oct 10 13:04:35.688 INFO blam! 758eccb3be59d2714129fcf3b769aef1129527d6e53fbad5a732d2f2ff735a6a
Oct 10 13:04:35.698 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 10 13:04:35.700 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-2/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 10 13:04:36.071 INFO blam! e87680e5cd22a581fbc92e0d21957077e47a043b06134666b77e1cb518c524f0
Oct 10 13:04:36.075 INFO running `"docker" "start" "-a" "e87680e5cd22a581fbc92e0d21957077e47a043b06134666b77e1cb518c524f0"`
Oct 10 13:04:37.020 INFO kablam! usermod: no changes
Oct 10 13:04:37.101 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.04s
Oct 10 13:04:37.112 INFO kablam!      Running /target/debug/deps/rtlc-d5b4462ebbe386fb
Oct 10 13:04:37.112 INFO blam! 
Oct 10 13:04:37.112 INFO blam! running 19 tests
Oct 10 13:04:37.115 INFO blam! test atom::tests::test_possible_states_conj ... ok
Oct 10 13:04:37.115 INFO blam! test atom::tests::test_possible_states_disj ... ok
Oct 10 13:04:37.115 INFO blam! test atom::tests::test_possible_states_eq ... ok
Oct 10 13:04:37.117 INFO blam! test atom::tests::test_next_states_mem ... ok
Oct 10 13:04:37.117 INFO blam! test parser::tests::test_constants ... ok
Oct 10 13:04:37.117 INFO blam! test parser::tests::test_blanks ... ok
Oct 10 13:04:37.117 INFO blam! test atom::tests::test_next_states_eq ... ok
Oct 10 13:04:37.117 INFO blam! test parser::tests::test_parse ... ok
Oct 10 13:04:37.117 INFO blam! test atom::tests::test_next_states_disj ... ok
Oct 10 13:04:37.117 INFO blam! test atom::tests::test_next_states_conj ... ok
Oct 10 13:04:37.119 INFO blam! test parser::tests::test_predicate ... ok
Oct 10 13:04:37.119 INFO blam! test atom::tests::test_possible_states_mem ... ok
Oct 10 13:04:37.119 INFO blam! test parser::tests::test_statements ... ok
Oct 10 13:04:37.119 INFO blam! test parser::tests::test_set ... ok
Oct 10 13:04:37.119 INFO blam! test parser::tests::test_proposition ... ok
Oct 10 13:04:37.119 INFO blam! test parser::tests::test_variables ... ok
Oct 10 13:04:37.121 INFO blam! test parser::tests::test_nextsr ... ok
Oct 10 13:04:37.122 INFO blam! test parser::tests::test_tuple ... ok
Oct 10 13:04:37.125 INFO blam! test parser::tests::test_number ... ok
Oct 10 13:04:37.125 INFO blam! 
Oct 10 13:04:37.125 INFO blam! test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 10 13:04:37.125 INFO blam! 
Oct 10 13:04:37.128 INFO kablam!      Running /target/debug/deps/tlc-e8e608786e92313c
Oct 10 13:04:37.132 INFO blam! 
Oct 10 13:04:37.132 INFO blam! running 0 tests
Oct 10 13:04:37.132 INFO blam! 
Oct 10 13:04:37.132 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 10 13:04:37.132 INFO blam! 
Oct 10 13:04:37.139 INFO kablam!      Running /target/debug/deps/parse-5b9b928895a194b0
Oct 10 13:04:37.144 INFO blam! 
Oct 10 13:04:37.144 INFO blam! running 1 test
Oct 10 13:04:37.144 INFO blam! test test_parse_simple_clock ... ok
Oct 10 13:04:37.144 INFO blam! 
Oct 10 13:04:37.144 INFO blam! test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 10 13:04:37.144 INFO blam! 
Oct 10 13:04:37.152 INFO kablam!    Doc-tests rtlc
Oct 10 13:04:38.238 INFO blam! 
Oct 10 13:04:38.238 INFO blam! running 0 tests
Oct 10 13:04:38.238 INFO blam! 
Oct 10 13:04:38.238 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 10 13:04:38.238 INFO blam! 
Oct 10 13:04:38.246 INFO kablam! su: No module specific data is present
Oct 10 13:04:39.341 INFO running `"docker" "rm" "-f" "e87680e5cd22a581fbc92e0d21957077e47a043b06134666b77e1cb518c524f0"`
Oct 10 13:04:39.608 INFO blam! e87680e5cd22a581fbc92e0d21957077e47a043b06134666b77e1cb518c524f0