Nov 16 10:03:54.996 INFO testing ttaubert/tlc against try#2e026d6e5d7621634147ad4c8074f1d964dbb1be for pr-55982
Nov 16 10:03:54.997 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 16 10:03:55.589 INFO [stdout] 0aa6e3e68e31160de78d83e2c6ec39e02eb2d4b5a18267cd6c16a7b2ff7adc2f
Nov 16 10:03:55.589 INFO running `"docker" "start" "-a" "0aa6e3e68e31160de78d83e2c6ec39e02eb2d4b5a18267cd6c16a7b2ff7adc2f"`
Nov 16 10:03:57.531 INFO [stderr] usermod: no changes
Nov 16 10:03:57.654 INFO [stderr]    Compiling libc v0.2.33
Nov 16 10:03:57.654 INFO [stderr]    Compiling either v1.4.0
Nov 16 10:03:58.071 INFO [stderr]    Compiling itertools v0.7.2
Nov 16 10:04:00.012 INFO [stderr]    Compiling memchr v1.0.2
Nov 16 10:04:00.718 INFO [stderr]    Compiling nom v3.2.1
Nov 16 10:04:04.719 INFO [stderr]    Compiling tlc v0.1.0 (/source)
Nov 16 10:04:09.409 INFO [stderr] warning: unused variable: `spec`
Nov 16 10:04:09.409 INFO [stderr]   --> src/main.rs:63:9
Nov 16 10:04:09.409 INFO [stderr]    |
Nov 16 10:04:09.409 INFO [stderr] 63 |     let spec = predicates.get(&spec_id).expect("Couldn't find predicate 'Spec'.");
Nov 16 10:04:09.409 INFO [stderr]    |         ^^^^ help: consider using `_spec` instead
Nov 16 10:04:09.409 INFO [stderr]    |
Nov 16 10:04:09.409 INFO [stderr]    = note: #[warn(unused_variables)] on by default
Nov 16 10:04:09.409 INFO [stderr] 
Nov 16 10:04:10.330 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 12.77s
Nov 16 10:04:10.334 INFO [stderr] su: No module specific data is present
Nov 16 10:04:11.627 INFO running `"docker" "inspect" "0aa6e3e68e31160de78d83e2c6ec39e02eb2d4b5a18267cd6c16a7b2ff7adc2f"`
Nov 16 10:04:12.017 INFO running `"docker" "rm" "-f" "0aa6e3e68e31160de78d83e2c6ec39e02eb2d4b5a18267cd6c16a7b2ff7adc2f"`
Nov 16 10:04:12.291 INFO [stdout] 0aa6e3e68e31160de78d83e2c6ec39e02eb2d4b5a18267cd6c16a7b2ff7adc2f
Nov 16 10:04:12.301 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 16 10:04:12.739 INFO [stdout] 977a81a0bcb86410fc1084fd7b86be8dfccd8fd3eb772ee5cbfff98645703cf0
Nov 16 10:04:12.742 INFO running `"docker" "start" "-a" "977a81a0bcb86410fc1084fd7b86be8dfccd8fd3eb772ee5cbfff98645703cf0"`
Nov 16 10:04:14.073 INFO [stderr] usermod: no changes
Nov 16 10:04:14.160 INFO [stderr]    Compiling tlc v0.1.0 (/source)
Nov 16 10:04:14.591 INFO [stderr] warning: unused variable: `spec`
Nov 16 10:04:14.592 INFO [stderr]   --> src/main.rs:63:9
Nov 16 10:04:14.592 INFO [stderr]    |
Nov 16 10:04:14.593 INFO [stderr] 63 |     let spec = predicates.get(&spec_id).expect("Couldn't find predicate 'Spec'.");
Nov 16 10:04:14.593 INFO [stderr]    |         ^^^^ help: consider using `_spec` instead
Nov 16 10:04:14.593 INFO [stderr]    |
Nov 16 10:04:14.593 INFO [stderr]    = note: #[warn(unused_variables)] on by default
Nov 16 10:04:14.594 INFO [stderr] 
Nov 16 10:04:20.515 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 6.41s
Nov 16 10:04:20.519 INFO [stderr] su: No module specific data is present
Nov 16 10:04:21.336 INFO running `"docker" "inspect" "977a81a0bcb86410fc1084fd7b86be8dfccd8fd3eb772ee5cbfff98645703cf0"`
Nov 16 10:04:21.651 INFO running `"docker" "rm" "-f" "977a81a0bcb86410fc1084fd7b86be8dfccd8fd3eb772ee5cbfff98645703cf0"`
Nov 16 10:04:21.963 INFO [stdout] 977a81a0bcb86410fc1084fd7b86be8dfccd8fd3eb772ee5cbfff98645703cf0
Nov 16 10:04:21.971 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 16 10:04:22.603 INFO [stdout] f9ddb9f455d28e2346a2501f6751ae5c7a6fdedc7a4f6b5ea3bdcfb7559735d4
Nov 16 10:04:22.606 INFO running `"docker" "start" "-a" "f9ddb9f455d28e2346a2501f6751ae5c7a6fdedc7a4f6b5ea3bdcfb7559735d4"`
Nov 16 10:04:24.363 INFO [stderr] usermod: no changes
Nov 16 10:04:24.419 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.04s
Nov 16 10:04:24.436 INFO [stdout] 
Nov 16 10:04:24.437 INFO [stderr]      Running /target/debug/deps/rtlc-e064494113419294
Nov 16 10:04:24.437 INFO [stdout] running 19 tests
Nov 16 10:04:24.438 INFO [stdout] test atom::tests::test_next_states_conj ... ok
Nov 16 10:04:24.438 INFO [stdout] test parser::tests::test_blanks ... ok
Nov 16 10:04:24.438 INFO [stdout] test parser::tests::test_constants ... ok
Nov 16 10:04:24.438 INFO [stdout] test parser::tests::test_nextsr ... ok
Nov 16 10:04:24.438 INFO [stdout] test parser::tests::test_number ... ok
Nov 16 10:04:24.438 INFO [stdout] test parser::tests::test_parse ... ok
Nov 16 10:04:24.438 INFO [stdout] test parser::tests::test_predicate ... ok
Nov 16 10:04:24.440 INFO [stdout] test parser::tests::test_proposition ... ok
Nov 16 10:04:24.440 INFO [stdout] test parser::tests::test_set ... ok
Nov 16 10:04:24.440 INFO [stdout] test atom::tests::test_next_states_disj ... ok
Nov 16 10:04:24.440 INFO [stdout] test parser::tests::test_tuple ... ok
Nov 16 10:04:24.440 INFO [stdout] test parser::tests::test_variables ... ok
Nov 16 10:04:24.447 INFO [stdout] test atom::tests::test_next_states_eq ... ok
Nov 16 10:04:24.447 INFO [stdout] test atom::tests::test_next_states_mem ... ok
Nov 16 10:04:24.447 INFO [stdout] test atom::tests::test_possible_states_conj ... ok
Nov 16 10:04:24.447 INFO [stdout] test atom::tests::test_possible_states_eq ... ok
Nov 16 10:04:24.447 INFO [stdout] test atom::tests::test_possible_states_mem ... ok
Nov 16 10:04:24.447 INFO [stdout] test atom::tests::test_possible_states_disj ... ok
Nov 16 10:04:24.467 INFO [stdout] test parser::tests::test_statements ... ok
Nov 16 10:04:24.467 INFO [stderr]      Running /target/debug/deps/tlc-033d05ac1c7e4592
Nov 16 10:04:24.467 INFO [stdout] 
Nov 16 10:04:24.467 INFO [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 16 10:04:24.467 INFO [stdout] 
Nov 16 10:04:24.471 INFO [stdout] 
Nov 16 10:04:24.471 INFO [stderr]      Running /target/debug/deps/parse-c535f1076d9cae98
Nov 16 10:04:24.471 INFO [stdout] running 0 tests
Nov 16 10:04:24.471 INFO [stdout] 
Nov 16 10:04:24.471 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 16 10:04:24.471 INFO [stdout] 
Nov 16 10:04:24.483 INFO [stdout] 
Nov 16 10:04:24.483 INFO [stdout] running 1 test
Nov 16 10:04:24.491 INFO [stdout] test test_parse_simple_clock ... ok
Nov 16 10:04:24.491 INFO [stdout] 
Nov 16 10:04:24.491 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 16 10:04:24.491 INFO [stdout] 
Nov 16 10:04:24.495 INFO [stderr]    Doc-tests rtlc
Nov 16 10:04:25.012 INFO [stdout] 
Nov 16 10:04:25.012 INFO [stdout] running 0 tests
Nov 16 10:04:25.012 INFO [stdout] 
Nov 16 10:04:25.012 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 16 10:04:25.012 INFO [stdout] 
Nov 16 10:04:25.025 INFO [stderr] su: No module specific data is present
Nov 16 10:04:26.311 INFO running `"docker" "inspect" "f9ddb9f455d28e2346a2501f6751ae5c7a6fdedc7a4f6b5ea3bdcfb7559735d4"`
Nov 16 10:04:26.608 INFO running `"docker" "rm" "-f" "f9ddb9f455d28e2346a2501f6751ae5c7a6fdedc7a4f6b5ea3bdcfb7559735d4"`
Nov 16 10:04:27.007 INFO [stdout] f9ddb9f455d28e2346a2501f6751ae5c7a6fdedc7a4f6b5ea3bdcfb7559735d4