Oct 31 18:01:20.641 INFO testing ttaubert/tlc against 1.30.0 for beta-1.31-1
Oct 31 18:01:20.641 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-3/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/beta-1.31-1/1.30.0:/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.0 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:21.080 INFO blam! 864dbc547c211b28d6464cc8c740b688f9ab5375868bd16ccb43bc4cb1975326
Oct 31 18:01:21.083 INFO running `"docker" "start" "-a" "864dbc547c211b28d6464cc8c740b688f9ab5375868bd16ccb43bc4cb1975326"`
Oct 31 18:01:22.649 INFO kablam! usermod: no changes
Oct 31 18:01:22.704 INFO kablam!    Compiling libc v0.2.33
Oct 31 18:01:22.711 INFO kablam!    Compiling itertools v0.7.2
Oct 31 18:01:24.295 INFO kablam!    Compiling memchr v1.0.2
Oct 31 18:01:24.907 INFO kablam!    Compiling nom v3.2.1
Oct 31 18:01:28.947 INFO kablam!    Compiling tlc v0.1.0 (/source)
Oct 31 18:01:33.531 INFO kablam! warning: unused variable: `spec`
Oct 31 18:01:33.531 INFO kablam!   --> src/main.rs:63:9
Oct 31 18:01:33.531 INFO kablam!    |
Oct 31 18:01:33.531 INFO kablam! 63 |     let spec = predicates.get(&spec_id).expect("Couldn't find predicate 'Spec'.");
Oct 31 18:01:33.531 INFO kablam!    |         ^^^^ help: consider using `_spec` instead
Oct 31 18:01:33.531 INFO kablam!    |
Oct 31 18:01:33.531 INFO kablam!    = note: #[warn(unused_variables)] on by default
Oct 31 18:01:33.531 INFO kablam! 
Oct 31 18:01:34.325 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 11.65s
Oct 31 18:01:34.331 INFO kablam! su: No module specific data is present
Oct 31 18:01:35.224 INFO running `"docker" "rm" "-f" "864dbc547c211b28d6464cc8c740b688f9ab5375868bd16ccb43bc4cb1975326"`
Oct 31 18:01:35.479 INFO blam! 864dbc547c211b28d6464cc8c740b688f9ab5375868bd16ccb43bc4cb1975326
Oct 31 18:01:35.487 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-3/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/beta-1.31-1/1.30.0:/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.0 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:35.945 INFO blam! 62ebc8559cc949e94a861c49ae6481a228e1753bda9e26f188015fd91ea4b3a0
Oct 31 18:01:35.946 INFO running `"docker" "start" "-a" "62ebc8559cc949e94a861c49ae6481a228e1753bda9e26f188015fd91ea4b3a0"`
Oct 31 18:01:37.034 INFO kablam! usermod: no changes
Oct 31 18:01:37.087 INFO kablam!    Compiling tlc v0.1.0 (/source)
Oct 31 18:01:37.475 INFO kablam! warning: unused variable: `spec`
Oct 31 18:01:37.475 INFO kablam!   --> src/main.rs:63:9
Oct 31 18:01:37.475 INFO kablam!    |
Oct 31 18:01:37.475 INFO kablam! 63 |     let spec = predicates.get(&spec_id).expect("Couldn't find predicate 'Spec'.");
Oct 31 18:01:37.475 INFO kablam!    |         ^^^^ help: consider using `_spec` instead
Oct 31 18:01:37.475 INFO kablam!    |
Oct 31 18:01:37.475 INFO kablam!    = note: #[warn(unused_variables)] on by default
Oct 31 18:01:37.475 INFO kablam! 
Oct 31 18:01:44.403 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 7.34s
Oct 31 18:01:44.403 INFO kablam! su: No module specific data is present
Oct 31 18:01:45.403 INFO running `"docker" "rm" "-f" "62ebc8559cc949e94a861c49ae6481a228e1753bda9e26f188015fd91ea4b3a0"`
Oct 31 18:01:45.743 INFO blam! 62ebc8559cc949e94a861c49ae6481a228e1753bda9e26f188015fd91ea4b3a0
Oct 31 18:01:45.751 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-3/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/beta-1.31-1/1.30.0:/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.0 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.185 INFO blam! 449fa4b3773657f2d884ff5688bf5d39942365a07a28bf4abd21b8dfa1326228
Oct 31 18:01:46.191 INFO running `"docker" "start" "-a" "449fa4b3773657f2d884ff5688bf5d39942365a07a28bf4abd21b8dfa1326228"`
Oct 31 18:01:47.510 INFO kablam! usermod: no changes
Oct 31 18:01:47.575 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.04s
Oct 31 18:01:47.583 INFO kablam!      Running /target/debug/deps/rtlc-5ee26b230a122b45
Oct 31 18:01:47.583 INFO blam! 
Oct 31 18:01:47.583 INFO blam! running 19 tests
Oct 31 18:01:47.631 INFO blam! test atom::tests::test_next_states_conj ... ok
Oct 31 18:01:47.639 INFO blam! test atom::tests::test_next_states_disj ... ok
Oct 31 18:01:47.639 INFO blam! test atom::tests::test_possible_states_conj ... ok
Oct 31 18:01:47.639 INFO blam! test atom::tests::test_next_states_eq ... ok
Oct 31 18:01:47.639 INFO blam! test atom::tests::test_possible_states_disj ... ok
Oct 31 18:01:47.639 INFO blam! test atom::tests::test_next_states_mem ... ok
Oct 31 18:01:47.639 INFO blam! test atom::tests::test_possible_states_eq ... ok
Oct 31 18:01:47.639 INFO blam! test parser::tests::test_blanks ... ok
Oct 31 18:01:47.639 INFO blam! test atom::tests::test_possible_states_mem ... ok
Oct 31 18:01:47.639 INFO blam! test parser::tests::test_nextsr ... ok
Oct 31 18:01:47.639 INFO blam! test parser::tests::test_constants ... ok
Oct 31 18:01:47.639 INFO blam! test parser::tests::test_set ... ok
Oct 31 18:01:47.639 INFO blam! test parser::tests::test_predicate ... ok
Oct 31 18:01:47.639 INFO blam! test parser::tests::test_statements ... ok
Oct 31 18:01:47.639 INFO blam! test parser::tests::test_parse ... ok
Oct 31 18:01:47.642 INFO blam! test parser::tests::test_proposition ... ok
Oct 31 18:01:47.642 INFO blam! test parser::tests::test_tuple ... ok
Oct 31 18:01:47.642 INFO blam! test parser::tests::test_number ... ok
Oct 31 18:01:47.643 INFO blam! test parser::tests::test_variables ... ok
Oct 31 18:01:47.643 INFO blam! 
Oct 31 18:01:47.644 INFO blam! test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 31 18:01:47.644 INFO blam! 
Oct 31 18:01:47.654 INFO kablam!      Running /target/debug/deps/tlc-cc7db4e45954dad1
Oct 31 18:01:47.663 INFO kablam!      Running /target/debug/deps/parse-82a7ef9a7a181ce9
Oct 31 18:01:47.663 INFO blam! 
Oct 31 18:01:47.663 INFO kablam!    Doc-tests rtlc
Oct 31 18:01:47.663 INFO blam! running 0 tests
Oct 31 18:01:47.663 INFO blam! 
Oct 31 18:01:47.663 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 31 18:01:47.663 INFO blam! 
Oct 31 18:01:47.663 INFO blam! 
Oct 31 18:01:47.663 INFO blam! running 1 test
Oct 31 18:01:47.663 INFO blam! test test_parse_simple_clock ... ok
Oct 31 18:01:47.663 INFO blam! 
Oct 31 18:01:47.663 INFO blam! test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 31 18:01:47.663 INFO blam! 
Oct 31 18:01:48.195 INFO blam! 
Oct 31 18:01:48.195 INFO blam! running 0 tests
Oct 31 18:01:48.195 INFO blam! 
Oct 31 18:01:48.195 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 31 18:01:48.195 INFO blam! 
Oct 31 18:01:48.195 INFO kablam! su: No module specific data is present
Oct 31 18:01:49.126 INFO running `"docker" "rm" "-f" "449fa4b3773657f2d884ff5688bf5d39942365a07a28bf4abd21b8dfa1326228"`
Oct 31 18:01:49.391 INFO blam! 449fa4b3773657f2d884ff5688bf5d39942365a07a28bf4abd21b8dfa1326228
