Oct 11 14:32:41.642 INFO testing programinduction-0.7.4 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling Oct 11 14:32:41.642 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen Oct 11 14:32:41.642 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-4/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 11 14:32:41.962 INFO blam! bf984638282fa4eb34e718fa0e3beaf6f4404a54f03bd51d6b4f74215623c8f5 Oct 11 14:32:41.966 INFO running `"docker" "start" "-a" "bf984638282fa4eb34e718fa0e3beaf6f4404a54f03bd51d6b4f74215623c8f5"` Oct 11 14:32:43.001 INFO kablam! usermod: no changes Oct 11 14:32:43.178 INFO kablam! Compiling polytype v6.0.0 Oct 11 14:32:43.179 INFO kablam! Compiling term_rewriting v0.3.0 Oct 11 14:32:49.391 INFO kablam! Compiling programinduction v0.7.4 (/source) Oct 11 14:33:06.620 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 23.60s Oct 11 14:33:06.632 INFO kablam! su: No module specific data is present Oct 11 14:33:07.272 INFO running `"docker" "rm" "-f" "bf984638282fa4eb34e718fa0e3beaf6f4404a54f03bd51d6b4f74215623c8f5"` Oct 11 14:33:07.568 INFO blam! bf984638282fa4eb34e718fa0e3beaf6f4404a54f03bd51d6b4f74215623c8f5 Oct 11 14:33:07.576 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run Oct 11 14:33:07.576 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-4/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 11 14:33:07.942 INFO blam! 3839a2759999b8f15aeef243d0f1f0ddf99a7444726c55babb230ba80f48337d Oct 11 14:33:07.944 INFO running `"docker" "start" "-a" "3839a2759999b8f15aeef243d0f1f0ddf99a7444726c55babb230ba80f48337d"` Oct 11 14:33:09.184 INFO kablam! usermod: no changes Oct 11 14:33:09.331 INFO kablam! Compiling programinduction v0.7.4 (/source) Oct 11 14:33:40.147 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 30.93s Oct 11 14:33:40.168 INFO kablam! su: No module specific data is present Oct 11 14:33:41.484 INFO running `"docker" "rm" "-f" "3839a2759999b8f15aeef243d0f1f0ddf99a7444726c55babb230ba80f48337d"` Oct 11 14:33:41.820 INFO blam! 3839a2759999b8f15aeef243d0f1f0ddf99a7444726c55babb230ba80f48337d Oct 11 14:33:41.822 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen Oct 11 14:33:41.822 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-4/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 11 14:33:42.228 INFO blam! 7c940db8b210c823e30ae6132309d6088cd488298a5f403375fbfe0048bcf887 Oct 11 14:33:42.236 INFO running `"docker" "start" "-a" "7c940db8b210c823e30ae6132309d6088cd488298a5f403375fbfe0048bcf887"` Oct 11 14:33:43.947 INFO kablam! usermod: no changes Oct 11 14:33:44.157 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.18s Oct 11 14:33:44.164 INFO kablam! Running /target/debug/deps/programinduction-cb3c9457631078a4 Oct 11 14:33:44.168 INFO blam! Oct 11 14:33:44.168 INFO blam! running 0 tests Oct 11 14:33:44.168 INFO blam! Oct 11 14:33:44.168 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 14:33:44.168 INFO blam! Oct 11 14:33:44.169 INFO kablam! Running /target/debug/deps/ec-8ead2389ce4382c2 Oct 11 14:33:44.172 INFO blam! Oct 11 14:33:44.172 INFO blam! running 5 tests Oct 11 14:33:44.272 INFO blam! test explore_arith_pcfg ... ok Oct 11 14:33:49.140 INFO blam! test explore_circuits_timeout ... ok Oct 11 14:34:30.884 INFO blam! test ec_circuits_dl ... ok Oct 11 14:34:31.504 INFO blam! test explore_strings ... ok Oct 11 14:34:44.172 INFO blam! test ec_strings ... test ec_strings has been running for over 60 seconds Oct 11 14:34:51.500 INFO blam! test ec_strings ... ok Oct 11 14:34:51.500 INFO blam! Oct 11 14:34:51.500 INFO blam! test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 14:34:51.500 INFO blam! Oct 11 14:34:51.504 INFO kablam! Running /target/debug/deps/gp-50a94cb718f4108f Oct 11 14:34:51.504 INFO blam! Oct 11 14:34:51.504 INFO blam! running 1 test Oct 11 14:34:51.731 INFO blam! test gp_sum_arith ... ok Oct 11 14:34:51.731 INFO blam! Oct 11 14:34:51.731 INFO blam! test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 14:34:51.731 INFO blam! Oct 11 14:34:51.732 INFO kablam! Running /target/debug/deps/lambda-508ca3dd1f772e96 Oct 11 14:34:51.736 INFO blam! Oct 11 14:34:51.736 INFO blam! running 11 tests Oct 11 14:34:51.752 INFO blam! test lambda_eval_somewhat_simple ... ok Oct 11 14:34:51.752 INFO blam! test lambda_expression_parse_index ... ok Oct 11 14:34:51.760 INFO blam! test lambda_expression_parse_primitive ... ok Oct 11 14:34:51.760 INFO blam! test lambda_lazy_eval ... ok Oct 11 14:34:51.760 INFO blam! test lambda_expression_parse_invented ... ok Oct 11 14:34:51.760 INFO blam! test lambda_lazy_eval_firstclass ... ok Oct 11 14:34:51.768 INFO blam! test lambda_expression_parse_application ... ok Oct 11 14:34:51.772 INFO blam! test lambda_eval_firstclass ... ok Oct 11 14:34:51.772 INFO blam! test lambda_eval_simplest ... ok Oct 11 14:34:51.776 INFO blam! test lambda_expression_infer ... ok Oct 11 14:34:51.777 INFO blam! test lambda_expression_parse_abstraction ... ok Oct 11 14:34:51.777 INFO blam! Oct 11 14:34:51.777 INFO blam! test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 14:34:51.777 INFO blam! Oct 11 14:34:51.784 INFO kablam! Doc-tests programinduction Oct 11 14:34:57.818 INFO blam! Oct 11 14:34:57.818 INFO blam! running 42 tests Oct 11 14:34:57.904 INFO blam! test src/domains/circuits.rs - domains::circuits::dsl (line 36) ... ignored Oct 11 14:34:57.904 INFO blam! test src/domains/strings.rs - domains::strings::dsl (line 31) ... ignored Oct 11 14:35:23.692 INFO blam! test src/gp.rs - gp::GP (line 63) ... ok Oct 11 14:35:24.408 INFO blam! test src/domains/circuits.rs - domains::circuits::Evaluator (line 55) ... ok Oct 11 14:35:24.408 INFO blam! test src/lambda/compression.rs - lambda::compression::induce (line 83) ... ignored Oct 11 14:35:27.436 INFO blam! test src/ec.rs - ec::EC::explore (line 207) ... ok Oct 11 14:35:38.022 INFO blam! test src/domains/circuits.rs - domains::circuits (line 7) ... ok Oct 11 14:35:57.819 INFO blam! test src/domains/strings.rs - domains::strings (line 5) ... test src/domains/strings.rs - domains::strings (line 5) has been running for over 60 seconds Oct 11 14:35:57.833 INFO blam! test src/domains/strings.rs - domains::strings::Evaluator (line 154) ... test src/domains/strings.rs - domains::strings::Evaluator (line 154) has been running for over 60 seconds Oct 11 14:35:57.833 INFO blam! test src/ec.rs - ec::EC (line 44) ... test src/ec.rs - ec::EC (line 44) has been running for over 60 seconds Oct 11 14:35:57.868 INFO blam! test src/ec.rs - ec::EC::ec (line 123) ... test src/ec.rs - ec::EC::ec (line 123) has been running for over 60 seconds Oct 11 14:36:00.625 INFO blam! test src/lambda/eval.rs - lambda::eval::Evaluator (line 144) ... ok Oct 11 14:36:03.036 INFO blam! test src/lambda/compression.rs - lambda::compression::CompressionParams::default (line 47) ... ok Oct 11 14:36:07.916 INFO blam! test src/lambda/eval.rs - lambda::eval::Evaluator (line 94) ... ok Oct 11 14:36:09.584 INFO blam! test src/domains/strings.rs - domains::strings::Evaluator (line 154) ... ok Oct 11 14:36:17.494 INFO blam! test src/lambda/eval.rs - lambda::eval::Evaluator (line 64) ... ok Oct 11 14:36:43.304 INFO blam! test src/lambda/eval.rs - lambda::eval::LazyEvaluator (line 269) ... ok Oct 11 14:36:44.617 INFO blam! test src/lambda/eval.rs - lambda::eval::SimpleEvaluator::of (line 388) ... ok Oct 11 14:36:49.524 INFO blam! test src/lambda/mod.rs - lambda::Expression::etalong (line 700) ... ok Oct 11 14:36:58.033 INFO blam! test src/lambda/mod.rs - lambda (line 5) ... ok Oct 11 14:37:07.901 INFO blam! test src/lambda/mod.rs - lambda::Language::add_symmetry_violation (line 388) ... ok Oct 11 14:37:31.228 INFO blam! test src/lambda/mod.rs - lambda::Language::eval (line 237) ... ok Oct 11 14:37:38.256 INFO blam! test src/lambda/mod.rs - lambda::Language::infer (line 99) ... ok Oct 11 14:37:38.420 INFO blam! test src/ec.rs - ec::EC::ec (line 123) ... ok Oct 11 14:37:38.512 INFO blam! test src/lambda/mod.rs - lambda::Language::enumerate (line 142) ... ok Oct 11 14:37:43.308 INFO blam! test src/lambda/mod.rs - lambda::Language::compress (line 199) ... test src/lambda/mod.rs - lambda::Language::compress (line 199) has been running for over 60 seconds Oct 11 14:37:45.428 INFO blam! test src/lambda/mod.rs - lambda::Language::invent (line 356) ... ok Oct 11 14:38:06.457 INFO blam! test src/lambda/mod.rs - lambda::Language::likelihood (line 328) ... ok Oct 11 14:38:28.599 INFO blam! test src/ec.rs - ec::EC (line 44) ... ok Oct 11 14:38:32.943 INFO blam! test src/lambda/mod.rs - lambda::task_by_evaluation (line 927) ... ok Oct 11 14:38:36.104 INFO blam! test src/pcfg/mod.rs - pcfg (line 5) ... ok Oct 11 14:38:38.274 INFO blam! test src/lambda/mod.rs - lambda::Language::violates_symmetry (line 433) ... test src/lambda/mod.rs - lambda::Language::violates_symmetry (line 433) has been running for over 60 seconds Oct 11 14:38:42.776 INFO blam! test src/lambda/mod.rs - lambda::Language::compress (line 199) ... ok Oct 11 14:38:45.338 INFO blam! test src/lambda/mod.rs - lambda::Language::violates_symmetry (line 433) ... ok Oct 11 14:38:45.420 INFO blam! test src/pcfg/mod.rs - pcfg::EstimationParams::default (line 325) ... test src/pcfg/mod.rs - pcfg::EstimationParams::default (line 325) has been running for over 60 seconds Oct 11 14:38:49.688 INFO blam! test src/pcfg/mod.rs - pcfg::EstimationParams::default (line 325) ... ok Oct 11 14:39:04.056 INFO blam! test src/pcfg/mod.rs - pcfg::Grammar::enumerate (line 93) ... ok Oct 11 14:39:25.860 INFO blam! test src/pcfg/mod.rs - pcfg::Grammar::likelihood (line 242) ... ok Oct 11 14:39:28.596 INFO blam! test src/pcfg/mod.rs - pcfg::Grammar::eval (line 172) ... test src/pcfg/mod.rs - pcfg::Grammar::eval (line 172) has been running for over 60 seconds Oct 11 14:39:29.884 INFO blam! test src/pcfg/mod.rs - pcfg::Grammar::eval (line 172) ... ok Oct 11 14:39:31.704 INFO blam! test src/pcfg/mod.rs - pcfg::Grammar::sample (line 214) ... ok Oct 11 14:39:39.300 INFO blam! test src/pcfg/mod.rs - pcfg::task_by_evaluation (line 550) ... ok Oct 11 14:39:45.074 INFO blam! test src/trs/lexicon.rs - trs::lexicon::Lexicon::infer_context (line 147) ... ok Oct 11 14:39:45.348 INFO blam! test src/trs/lexicon.rs - trs::lexicon::Lexicon::from_signature (line 89) ... test src/trs/lexicon.rs - trs::lexicon::Lexicon::from_signature (line 89) has been running for over 60 seconds Oct 11 14:39:47.471 INFO blam! test src/trs/lexicon.rs - trs::lexicon::Lexicon::from_signature (line 89) ... ok Oct 11 14:39:51.812 INFO blam! test src/trs/lexicon.rs - trs::lexicon::Lexicon::new (line 47) ... ok Oct 11 14:39:59.472 INFO blam! test src/trs/lexicon.rs - trs::lexicon::Lexicon::sample_term (line 212) ... ok Oct 11 14:40:06.293 INFO blam! test src/trs/rewrite.rs - trs::rewrite::TRS::add_rule (line 154) ... ok Oct 11 14:40:08.484 INFO blam! test src/trs/mod.rs - trs (line 13) ... ok Oct 11 14:40:10.464 INFO blam! test src/trs/rewrite.rs - trs::rewrite::TRS::new (line 33) ... ok Oct 11 14:45:10.444 INFO error running command: process killed after not generating output for 300s Oct 11 14:45:10.444 INFO running `"docker" "rm" "-f" "7c940db8b210c823e30ae6132309d6088cd488298a5f403375fbfe0048bcf887"` Oct 11 14:45:11.052 INFO blam! 7c940db8b210c823e30ae6132309d6088cd488298a5f403375fbfe0048bcf887