Oct 31 18:01:19.668 INFO testing ttaubert/tlc against beta-2018-10-30 for beta-1.31-1
Oct 31 18:01:19.668 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-4/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 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"`
Oct 31 18:01:20.327 INFO blam! eec06579d700c6708eeb5f8271728e25a03941c82481a20b4e98f58e57fd0d68
Oct 31 18:01:20.329 INFO running `"docker" "start" "-a" "eec06579d700c6708eeb5f8271728e25a03941c82481a20b4e98f58e57fd0d68"`
Oct 31 18:01:21.798 INFO kablam! usermod: no changes
Oct 31 18:01:21.859 INFO kablam!    Compiling libc v0.2.33
Oct 31 18:01:21.868 INFO kablam!    Compiling either v1.4.0
Oct 31 18:01:22.595 INFO kablam!    Compiling itertools v0.7.2
Oct 31 18:01:24.219 INFO kablam!    Compiling memchr v1.0.2
Oct 31 18:01:25.115 INFO kablam!    Compiling nom v3.2.1
Oct 31 18:01:29.647 INFO kablam!    Compiling tlc v0.1.0 (/source)
Oct 31 18:01:34.051 INFO kablam! warning: unused variable: `spec`
Oct 31 18:01:34.051 INFO kablam!   --> src/main.rs:63:9
Oct 31 18:01:34.051 INFO kablam!    |
Oct 31 18:01:34.051 INFO kablam! 63 |     let spec = predicates.get(&spec_id).expect("Couldn't find predicate 'Spec'.");
Oct 31 18:01:34.051 INFO kablam!    |         ^^^^ help: consider using `_spec` instead
Oct 31 18:01:34.051 INFO kablam!    |
Oct 31 18:01:34.051 INFO kablam!    = note: #[warn(unused_variables)] on by default
Oct 31 18:01:34.051 INFO kablam! 
Oct 31 18:01:34.892 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 13.07s
Oct 31 18:01:34.895 INFO kablam! su: No module specific data is present
Oct 31 18:01:35.653 INFO running `"docker" "rm" "-f" "eec06579d700c6708eeb5f8271728e25a03941c82481a20b4e98f58e57fd0d68"`
Oct 31 18:01:35.876 INFO blam! eec06579d700c6708eeb5f8271728e25a03941c82481a20b4e98f58e57fd0d68
Oct 31 18:01:35.879 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-4/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 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"`
Oct 31 18:01:36.219 INFO blam! 66f54c862189ff0605ac2f0ff4490d554647f09dfb014ffd23d5d93ee4c23608
Oct 31 18:01:36.224 INFO running `"docker" "start" "-a" "66f54c862189ff0605ac2f0ff4490d554647f09dfb014ffd23d5d93ee4c23608"`
Oct 31 18:01:37.823 INFO kablam! usermod: no changes
Oct 31 18:01:37.893 INFO kablam!    Compiling tlc v0.1.0 (/source)
Oct 31 18:01:38.319 INFO kablam! warning: unused variable: `spec`
Oct 31 18:01:38.319 INFO kablam!   --> src/main.rs:63:9
Oct 31 18:01:38.320 INFO kablam!    |
Oct 31 18:01:38.320 INFO kablam! 63 |     let spec = predicates.get(&spec_id).expect("Couldn't find predicate 'Spec'.");
Oct 31 18:01:38.320 INFO kablam!    |         ^^^^ help: consider using `_spec` instead
Oct 31 18:01:38.321 INFO kablam!    |
Oct 31 18:01:38.321 INFO kablam!    = note: #[warn(unused_variables)] on by default
Oct 31 18:01:38.321 INFO kablam! 
Oct 31 18:01:44.479 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 6.62s
Oct 31 18:01:44.486 INFO kablam! su: No module specific data is present
Oct 31 18:01:45.388 INFO running `"docker" "rm" "-f" "66f54c862189ff0605ac2f0ff4490d554647f09dfb014ffd23d5d93ee4c23608"`
Oct 31 18:01:45.659 INFO blam! 66f54c862189ff0605ac2f0ff4490d554647f09dfb014ffd23d5d93ee4c23608
Oct 31 18:01:45.667 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-4/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 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"`
Oct 31 18:01:46.247 INFO blam! f3fe7c78ec3a924c185c4e28df57ca19ba99804d75dad2b04320d87c6291f062
Oct 31 18:01:46.259 INFO running `"docker" "start" "-a" "f3fe7c78ec3a924c185c4e28df57ca19ba99804d75dad2b04320d87c6291f062"`
Oct 31 18:01:48.319 INFO kablam! usermod: no changes
Oct 31 18:01:48.403 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.04s
Oct 31 18:01:48.403 INFO kablam!      Running /target/debug/deps/rtlc-bdb2396596db2e5a
Oct 31 18:01:48.407 INFO blam! 
Oct 31 18:01:48.407 INFO blam! running 19 tests
Oct 31 18:01:48.407 INFO blam! test atom::tests::test_next_states_eq ... ok
Oct 31 18:01:48.415 INFO blam! test atom::tests::test_possible_states_conj ... ok
Oct 31 18:01:48.415 INFO blam! test atom::tests::test_next_states_disj ... ok
Oct 31 18:01:48.415 INFO blam! test atom::tests::test_next_states_conj ... ok
Oct 31 18:01:48.415 INFO blam! test atom::tests::test_next_states_mem ... ok
Oct 31 18:01:48.415 INFO blam! test atom::tests::test_possible_states_eq ... ok
Oct 31 18:01:48.415 INFO blam! test parser::tests::test_nextsr ... ok
Oct 31 18:01:48.415 INFO blam! test parser::tests::test_parse ... ok
Oct 31 18:01:48.415 INFO blam! test parser::tests::test_number ... ok
Oct 31 18:01:48.415 INFO blam! test parser::tests::test_predicate ... ok
Oct 31 18:01:48.415 INFO blam! test atom::tests::test_possible_states_disj ... ok
Oct 31 18:01:48.415 INFO blam! test atom::tests::test_possible_states_mem ... ok
Oct 31 18:01:48.415 INFO blam! test parser::tests::test_constants ... ok
Oct 31 18:01:48.415 INFO blam! test parser::tests::test_blanks ... ok
Oct 31 18:01:48.415 INFO blam! test parser::tests::test_proposition ... ok
Oct 31 18:01:48.423 INFO blam! test parser::tests::test_tuple ... ok
Oct 31 18:01:48.423 INFO blam! test parser::tests::test_set ... ok
Oct 31 18:01:48.423 INFO blam! test parser::tests::test_variables ... ok
Oct 31 18:01:48.423 INFO blam! test parser::tests::test_statements ... ok
Oct 31 18:01:48.423 INFO blam! 
Oct 31 18:01:48.423 INFO blam! test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 31 18:01:48.423 INFO blam! 
Oct 31 18:01:48.431 INFO kablam!      Running /target/debug/deps/tlc-45c7392e5a23de64
Oct 31 18:01:48.431 INFO blam! 
Oct 31 18:01:48.431 INFO blam! running 0 tests
Oct 31 18:01:48.431 INFO blam! 
Oct 31 18:01:48.431 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 31 18:01:48.431 INFO blam! 
Oct 31 18:01:48.435 INFO kablam!      Running /target/debug/deps/parse-84cea38e5eed1e9b
Oct 31 18:01:48.443 INFO blam! 
Oct 31 18:01:48.443 INFO blam! running 1 test
Oct 31 18:01:48.443 INFO blam! test test_parse_simple_clock ... ok
Oct 31 18:01:48.443 INFO blam! 
Oct 31 18:01:48.443 INFO blam! test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 31 18:01:48.443 INFO blam! 
Oct 31 18:01:48.443 INFO kablam!    Doc-tests rtlc
Oct 31 18:01:48.799 INFO blam! 
Oct 31 18:01:48.799 INFO blam! running 0 tests
Oct 31 18:01:48.799 INFO blam! 
Oct 31 18:01:48.799 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 31 18:01:48.799 INFO blam! 
Oct 31 18:01:48.807 INFO kablam! su: No module specific data is present
Oct 31 18:01:49.646 INFO running `"docker" "rm" "-f" "f3fe7c78ec3a924c185c4e28df57ca19ba99804d75dad2b04320d87c6291f062"`
Oct 31 18:01:49.979 INFO blam! f3fe7c78ec3a924c185c4e28df57ca19ba99804d75dad2b04320d87c6291f062
