[INFO] fetching crate truent-analyzer-evm 0.6.0...
[INFO] testing truent-analyzer-evm-0.6.0 against 1.100.0-beta.1 for beta-1.100-2
[INFO] extracting crate truent-analyzer-evm 0.6.0 into /workspace/builds/worker-7-tc2/source
[INFO] started tweaking crates.io crate truent-analyzer-evm 0.6.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate truent-analyzer-evm 0.6.0
[INFO] tweaked toml for crates.io crate truent-analyzer-evm 0.6.0 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate truent-analyzer-evm 0.6.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate truent-analyzer-evm 0.6.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:71:12
[INFO] [stderr]    |
[INFO] [stderr] 71 | homepage = "https://github.com/geekstrancend/Truent"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 76 | repository = "https://github.com/geekstrancend/Truent"
[INFO] [stderr]    |              -----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `truent-analyzer-evm` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace
[INFO] running `Command { std: "docker" "start" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:71:12
[INFO] [stderr]    |
[INFO] [stderr] 71 | homepage = "https://github.com/geekstrancend/Truent"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 76 | repository = "https://github.com/geekstrancend/Truent"
[INFO] [stderr]    |              -----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `truent-analyzer-evm` (manifest) generated 1 warning
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling cc v1.2.56
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling displaydoc v0.2.6
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling simd-adler32 v0.3.9
[INFO] [stderr]    Compiling zerofrom v0.1.8
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling yoke v0.8.3
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling zerovec v0.11.6
[INFO] [stderr]    Compiling sha3 v0.10.9
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling tracing-serde v0.2.0
[INFO] [stderr]    Compiling solc v0.0.9
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling zerotrie v0.2.4
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling tempfile v3.26.0
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling icu_normalizer v2.2.0
[INFO] [stderr]    Compiling icu_properties v2.2.0
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling tracing-subscriber v0.3.22
[INFO] [stderr]    Compiling truent-core v0.6.0
[INFO] [stderr]    Compiling rustls v0.23.40
[INFO] [stderr]    Compiling truent-ir v0.6.0
[INFO] [stderr]    Compiling rustls-webpki v0.103.13
[INFO] [stderr]    Compiling ureq v2.12.1
[INFO] [stderr]    Compiling truent-utils v0.6.0
[INFO] [stderr]    Compiling truent-analyzer-evm v0.6.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused dependency `rayon`
[INFO] [stderr]   --> Cargo.toml:11:15
[INFO] [stderr]    |
[INFO] [stderr] 11 | [dependencies.rayon]
[INFO] [stderr]    |               ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `rayon`
[INFO] [stderr] warning: unused dependency `solc`
[INFO] [stderr]   --> Cargo.toml:24:15
[INFO] [stderr]    |
[INFO] [stderr] 24 | [dependencies.solc]
[INFO] [stderr]    |               ^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `solc`
[INFO] [stderr] warning: `truent-analyzer-evm` (manifest) generated 2 warnings
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 30.57s
[INFO] running `Command { std: "docker" "inspect" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:71:12
[INFO] [stderr]    |
[INFO] [stderr] 71 | homepage = "https://github.com/geekstrancend/Truent"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 76 | repository = "https://github.com/geekstrancend/Truent"
[INFO] [stderr]    |              -----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `truent-analyzer-evm` (manifest) generated 1 warning
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling zerocopy v0.8.40
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling zerocopy-derive v0.8.40
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling clap_builder v4.5.60
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling tracing-serde v0.2.0
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling tempfile v3.26.0
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling tracing-subscriber v0.3.22
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.5
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling solc v0.0.9
[INFO] [stderr]    Compiling insta v1.46.3
[INFO] [stderr]    Compiling rustls-webpki v0.103.13
[INFO] [stderr]    Compiling rustls v0.23.40
[INFO] [stderr]    Compiling clap v4.5.60
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling truent-core v0.6.0
[INFO] [stderr]    Compiling truent-ir v0.6.0
[INFO] [stderr]    Compiling ureq v2.12.1
[INFO] [stderr]    Compiling truent-utils v0.6.0
[INFO] [stderr]    Compiling truent-analyzer-evm v0.6.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr] warning: unused dependency `rayon`
[INFO] [stderr]   --> Cargo.toml:11:15
[INFO] [stderr]    |
[INFO] [stderr] 11 | [dependencies.rayon]
[INFO] [stderr]    |               ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `rayon`
[INFO] [stderr] warning: unused dependency `solc`
[INFO] [stderr]   --> Cargo.toml:24:15
[INFO] [stderr]    |
[INFO] [stderr] 24 | [dependencies.solc]
[INFO] [stderr]    |               ^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `solc`
[INFO] [stderr] warning: `truent-analyzer-evm` (manifest) generated 2 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 42.47s
[INFO] running `Command { std: "docker" "inspect" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:71:12
[INFO] [stderr]    |
[INFO] [stderr] 71 | homepage = "https://github.com/geekstrancend/Truent"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 76 | repository = "https://github.com/geekstrancend/Truent"
[INFO] [stderr]    |              -----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `truent-analyzer-evm` (manifest) generated 1 warning
[INFO] [stderr] warning: unused dependency `rayon`
[INFO] [stderr]   --> Cargo.toml:11:15
[INFO] [stderr]    |
[INFO] [stderr] 11 | [dependencies.rayon]
[INFO] [stderr]    |               ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `rayon`
[INFO] [stderr] warning: unused dependency `solc`
[INFO] [stderr]   --> Cargo.toml:24:15
[INFO] [stderr]    |
[INFO] [stderr] 24 | [dependencies.solc]
[INFO] [stderr]    |               ^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `solc`
[INFO] [stderr] warning: `truent-analyzer-evm` (manifest) generated 2 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.26s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/truent-analyzer-evm/578ecc2885850edc/out/truent_analyzer_evm-578ecc2885850edc)
[INFO] [stdout] 
[INFO] [stdout] running 168 tests
[INFO] [stdout] test bytecode::tests::test_hex_to_bytes_rejects_non_ascii_without_panicking ... ok
[INFO] [stdout] test bytecode::tests::test_opcode_parsing ... ok
[INFO] [stdout] test cfg::tests::test_cfg_creation ... ok
[INFO] [stdout] test dataflow::tests::test_data_flow_dependencies ... ok
[INFO] [stdout] test dataflow::tests::test_value_origin_taint ... ok
[INFO] [stdout] test dataflow::tests::test_taint_analyzer_creation ... ok
[INFO] [stdout] test ast::tests::test_visibility_display ... ok
[INFO] [stdout] test cfg::tests::test_cfg_exit_marking ... ok
[INFO] [stdout] test ast::tests::test_visibility_parsing ... ok
[INFO] [stdout] test bytecode::tests::test_bytecode_analysis_creation ... ok
[INFO] [stdout] test dataflow::tests::test_data_flow_taint_tracking ... ok
[INFO] [stdout] test analyzer::tests::test_analyzer_creation ... ok
[INFO] [stdout] test bytecode::tests::test_opcode_properties ... ok
[INFO] [stdout] test ast::tests::compile_to_ast_never_writes_outside_temp_dir_for_absolute_filename ... ok
[INFO] [stdout] test dataflow::tests::test_transitive_dependents ... ok
[INFO] [stdout] test cfg::tests::test_cfg_edges ... ok
[INFO] [stdout] test bytecode::tests::test_hex_to_bytes ... ok
[INFO] [stdout] test detectors::aa_entropy_weakness::tests::test_good_randomness_prevrandao ... ok
[INFO] [stdout] test detectors::aa_entropy_weakness::tests::test_block_timestamp_entropy ... ok
[INFO] [stdout] test detectors::aa_entropy_weakness::tests::test_oracle_randomness ... ok
[INFO] [stdout] test detectors::aa_entropy_weakness::tests::test_weak_nonce_entropy ... ok
[INFO] [stdout] test detectors::aa_entropy_weakness::tests::test_block_number_entropy ... ok
[INFO] [stdout] test detectors::arbitrary_function_selector_dispatch::tests::does_not_flag_hardcoded_calldata ... ok
[INFO] [stdout] test detectors::arbitrary_function_selector_dispatch::tests::flags_generic_dispatch_with_no_allowlist ... ok
[INFO] [stdout] test detectors::arbitrary_function_selector_dispatch::tests::does_not_flag_when_selector_allowlist_present ... ok
[INFO] [stdout] test detectors::arithmetic_rounding::tests::test_prb_math ... ok
[INFO] [stdout] test detectors::bridge_address_cryptographic_verify::tests::test_purrlend_pattern ... ok
[INFO] [stdout] test ast_walker::tests::walker_does_not_overflow_on_deeply_nested_expression ... ok
[INFO] [stdout] test detectors::arithmetic_rounding::tests::test_muldiv_safe ... ok
[INFO] [stdout] test detectors::arbitrary_call_msg_value::tests::test_hardcoded_address_call ... ok
[INFO] [stdout] test detectors::arbitrary_call_msg_value::tests::test_detect_arbitrary_call_unvalidated ... ok
[INFO] [stdout] test detectors::arbitrary_call_msg_value::tests::test_weak_validation_without_function_check ... ok
[INFO] [stdout] test detectors::arbitrary_call_msg_value::tests::test_detect_delegatecall_with_msgvalue ... ok
[INFO] [stdout] test detectors::arbitrary_call_msg_value::tests::test_safe_call_with_whitelist ... ok
[INFO] [stdout] test detectors::arithmetic_rounding::tests::test_fixed_point_math ... ok
[INFO] [stdout] test detectors::bridge_address_cryptographic_verify::tests::test_bridge_with_ecrecover ... ok
[INFO] [stdout] test detectors::constructor_race_condition::tests::test_no_initialization_guard ... ok
[INFO] [stdout] test detectors::constructor_race_condition::tests::test_setup_with_guard ... ok
[INFO] [stdout] test detectors::constructor_race_condition::tests::test_with_initializer_modifier ... ok
[INFO] [stdout] test detectors::constructor_race_condition::tests::test_init_function_unguarded ... ok
[INFO] [stdout] test detectors::constructor_race_condition::tests::test_with_initialized_check ... ok
[INFO] [stdout] test detectors::cross_chain_replay_missing_chainid::tests::does_not_flag_eip712_base_contracts ... ok
[INFO] [stdout] test detectors::dvn_single_point::tests::test_safe_with_minimum_dvn_check ... ok
[INFO] [stdout] test detectors::dvn_single_point::tests::test_vulnerable_single_dvn_kelp_dao ... ok
[INFO] [stdout] test detectors::eip7702_eoa_assumption::tests::does_not_flag_msg_sender_usage ... ok
[INFO] [stdout] test detectors::dvn_single_point::tests::test_vulnerable_no_check_pattern ... ok
[INFO] [stdout] test detectors::dvn_single_point::tests::test_vulnerable_unconstrained_dvn ... ok
[INFO] [stdout] test detectors::eip7702_eoa_assumption::tests::flags_tx_origin_usage ... ok
[INFO] [stdout] test detectors::dvn_single_point::tests::test_safe_with_inline_length_check ... ok
[INFO] [stdout] test detectors::erc4337_validation_side_effects::tests::flags_approve_call_inside_validate_user_op ... ok
[INFO] [stdout] test detectors::erc4337_validation_side_effects::tests::does_not_flag_side_effect_free_validation ... ok
[INFO] [stdout] test detectors::fee_on_transfer_incompatibility::tests::does_not_flag_when_balance_diff_checked ... ok
[INFO] [stdout] test detectors::health_check::tests::test_safe_with_health_check ... ok
[INFO] [stdout] test detectors::health_check::tests::test_non_financial_contract ... ok
[INFO] [stdout] test detectors::fee_on_transfer_incompatibility::tests::flags_transfer_from_without_balance_diff_check ... ok
[INFO] [stdout] test detectors::health_check::tests::test_safe_with_implicit_health_check ... ok
[INFO] [stdout] test detectors::health_check::tests::test_vulnerable_donation_pattern_euler ... ok
[INFO] [stdout] test detectors::health_check::trust_regression_tests::collateral_alone_is_not_a_lending_market ... ok
[INFO] [stdout] test detectors::health_check::tests::test_safe_with_liquidity_check ... ok
[INFO] [stdout] test detectors::health_check::trust_regression_tests::actual_lending_market_is_still_checked ... ok
[INFO] [stdout] test detectors::cross_chain_replay_missing_chainid::tests::does_not_flag_when_chainid_bound_into_hash ... ok
[INFO] [stdout] test detectors::implementations::credibility_tests::interface_declarations_are_not_missing_a_signer_check ... ok
[INFO] [stdout] test detectors::implementations::credibility_tests::unguarded_state_modifying_function_is_still_reported ... ok
[INFO] [stdout] test detectors::implementations::tests::test_conservation_check ... ok
[INFO] [stdout] test detectors::implementations::tests::test_reentrancy_detection ... ok
[INFO] [stdout] test detectors::bridge_address_cryptographic_verify::tests::test_bridge_with_recovery_but_no_validation ... ok
[INFO] [stdout] test detectors::bridge_address_cryptographic_verify::tests::test_safe_bridge_with_ecdsa ... ok
[INFO] [stdout] test detectors::implementations::tests::test_missing_signer_check ... ok
[INFO] [stdout] test detectors::bridge_address_cryptographic_verify::tests::test_detect_bridge_no_signature_verification ... ok
[INFO] [stdout] test detectors::bridge_address_cryptographic_verify::tests::test_replay_attack_risk ... ok
[INFO] [stdout] test detectors::erc4626_inflation_protection::tests::test_deposit_with_fixed_point_math ... ok
[INFO] [stdout] test detectors::implementations::trust_regression_tests::brace_matching_stops_at_the_closing_brace ... ok
[INFO] [stdout] test detectors::implementations::trust_regression_tests::function_bodies_do_not_leak_into_the_next_function ... ok
[INFO] [stdout] test detectors::implementations::trust_regression_tests::ordinary_internal_helpers_are_not_findings ... ok
[INFO] [stdout] test detectors::implementations::trust_regression_tests::reports_a_genuinely_unguarded_path_to_a_privileged_helper ... ok
[INFO] [stdout] test detectors::lst_depeg::tests::test_safe_with_depeg_band ... ok
[INFO] [stdout] test detectors::lst_depeg::tests::test_vulnerable_multiple_lsts ... ok
[INFO] [stdout] test detectors::lst_depeg::tests::test_non_lst_token ... ok
[INFO] [stdout] test detectors::lst_depeg::tests::test_safe_with_peg_threshold ... ok
[INFO] [stdout] test detectors::lst_depeg::tests::test_vulnerable_no_depeg_protection_kelp_dao ... ok
[INFO] [stdout] test detectors::cross_chain_replay_missing_chainid::tests::flags_ecrecover_with_no_chainid_anywhere ... ok
[INFO] [stdout] test detectors::lst_depeg::tests::test_vulnerable_steth_no_band ... ok
[INFO] [stdout] test detectors::implementations::credibility_tests::ownership_comparison_is_not_an_eoa_admin_assignment ... ok
[INFO] [stdout] test detectors::implementations::credibility_tests::assigning_admin_to_the_caller_is_still_reported ... ok
[INFO] [stdout] test detectors::insufficient_multisig_threshold::tests::does_not_flag_when_no_threshold_declared ... ok
[INFO] [stdout] test detectors::erc4626_inflation_protection::tests::test_weak_zero_supply_handling ... ok
[INFO] [stdout] test detectors::erc4626_inflation_protection::tests::test_safe_deposit_with_zero_supply_check ... ok
[INFO] [stdout] test detectors::erc4626_inflation_protection::tests::test_safe_deposit_with_min_shares ... ok
[INFO] [stdout] test detectors::erc4626_inflation_protection::tests::test_detect_unprotected_share_calculation ... ok
[INFO] [stdout] test detectors::merkle_root::tests::test_safe_with_zero_check ... ok
[INFO] [stdout] test detectors::merkle_root::tests::test_vulnerable_nomad_pattern ... ok
[INFO] [stdout] test detectors::merkle_root::tests::test_vulnerable_zero_initialized_root ... ok
[INFO] [stdout] test detectors::merkle_root::tests::test_vulnerable_uninitialized_root ... ok
[INFO] [stdout] test detectors::insufficient_multisig_threshold::tests::flags_low_threshold_with_explicit_total_constant ... ok
[INFO] [stdout] test detectors::insufficient_multisig_threshold::tests::does_not_flag_supermajority_threshold ... ok
[INFO] [stdout] test detectors::insufficient_multisig_threshold::tests::flags_low_threshold_relative_to_owner_count ... ok
[INFO] [stdout] test detectors::proxy_storage_collision::tests::test_simple_contract_no_flag ... ok
[INFO] [stdout] test detectors::arithmetic_rounding::tests::test_ceil_rounding ... ok
[INFO] [stdout] test detectors::arithmetic_rounding::tests::test_simple_division_rounding ... ok
[INFO] [stdout] test detectors::readonly_reentrancy::tests::does_not_flag_when_no_external_call_before_state_write ... ok
[INFO] [stdout] test detectors::reentrancy_via_whitelisted::tests::test_detect_transfer_before_state_update ... ok
[INFO] [stdout] test detectors::reentrancy_via_whitelisted::tests::test_no_whitelist_check_ignored ... ok
[INFO] [stdout] test detectors::reentrancy_via_whitelisted::tests::test_penpie_pattern ... ok
[INFO] [stdout] test detectors::reentrancy_via_whitelisted::tests::test_proper_order_without_guard ... ok
[INFO] [stdout] test detectors::reentrancy_via_whitelisted::tests::test_safe_cei_pattern ... ok
[INFO] [stdout] test detectors::reentrancy_via_whitelisted::tests::test_safe_transfer_from ... ok
[INFO] [stdout] test detectors::proxy_storage_collision::tests::test_proxy_with_gap_but_no_documentation ... ok
[INFO] [stdout] test detectors::router_slippage_validation::tests::test_eth_swap_slippage ... ok
[INFO] [stdout] test detectors::proxy_storage_collision::tests::test_pike_pattern ... ok
[INFO] [stdout] test detectors::proxy_storage_collision::tests::test_proxy_with_storage_annotations ... ok
[INFO] [stdout] test detectors::router_slippage_validation::tests::test_slippage_protection ... ok
[INFO] [stdout] test detectors::router_slippage_validation::tests::test_hardcoded_min_amount ... ok
[INFO] [stdout] test detectors::router_slippage_validation::tests::test_no_slippage_protection ... ok
[INFO] [stdout] test detectors::proxy_storage_collision::tests::test_detect_proxy_without_gap ... ok
[INFO] [stdout] test detectors::router_slippage_validation::tests::test_zero_min_amount ... ok
[INFO] [stdout] test detectors::proxy_storage_collision::tests::test_safe_proxy_with_gap ... ok
[INFO] [stdout] test detectors::signature_replay_protection::tests::test_eip712_domain_separator ... ok
[INFO] [stdout] test detectors::oracle_self_trade::tests::test_safe_with_circuit_breaker ... ok
[INFO] [stdout] test detectors::oracle_self_trade::tests::test_safe_with_staleness_and_slippage ... ok
[INFO] [stdout] test detectors::oracle_self_trade::regression_tests::internal_price_view_is_not_an_oracle ... ok
[INFO] [stdout] test detectors::oracle_self_trade::regression_tests::real_external_feed_still_detected ... ok
[INFO] [stdout] test detectors::oracle_self_trade::tests::test_vulnerable_oracle_self_trade ... ok
[INFO] [stdout] test detectors::oracle_self_trade::tests::test_vulnerable_mango_pattern ... ok
[INFO] [stdout] test detectors::oracle_self_trade::regression_tests::prose_about_prices_does_not_trigger ... ok
[INFO] [stdout] test detectors::readonly_reentrancy::tests::flags_unguarded_view_function_when_state_written_after_external_call ... ok
[INFO] [stdout] test detectors::readonly_reentrancy::tests::does_not_flag_guarded_view_function ... ok
[INFO] [stdout] test detectors::oracle_self_trade::tests::test_safe_with_twap ... ok
[INFO] [stdout] test detectors::state_mutation_ordering::tests::test_safe_transfer_from ... ok
[INFO] [stdout] test detectors::synthetic_collateral_oracle::tests::test_non_synthetic_oracle_not_flagged ... ok
[INFO] [stdout] test detectors::stale_oracle_price::tests::flags_latest_round_data_without_staleness_check ... ok
[INFO] [stdout] test detectors::signature_replay_protection::tests::test_with_nonce ... ok
[INFO] [stdout] test detectors::stale_oracle_price::tests::does_not_flag_when_staleness_checked ... ok
[INFO] [stdout] test detectors::signature_replay_protection::tests::test_with_chain_id ... ok
[INFO] [stdout] test detectors::signature_replay_protection::tests::test_no_replay_protection ... ok
[INFO] [stdout] test detectors::signature_replay_protection::tests::test_with_both_chain_and_nonce ... ok
[INFO] [stdout] test detectors::synthetic_mint::tests::test_detects_conservation_invariant_missing ... ok
[INFO] [stdout] test detectors::synthetic_mint::tests::test_safe_with_collateral_verification ... ok
[INFO] [stdout] test detectors::synthetic_mint::tests::test_vulnerable_unbacked_mint_echo ... ok
[INFO] [stdout] test detectors::synthetic_collateral_oracle::tests::test_safe_synthetic_with_fallback_and_checks ... ok
[INFO] [stdout] test detectors::synthetic_collateral_oracle::tests::test_synthetic_with_fallback_but_weak_validation ... ok
[INFO] [stdout] test detectors::synthetic_collateral_oracle::tests::test_detect_synthetic_oracle_no_fallback ... ok
[INFO] [stdout] test detectors::token_balance_manipulation::tests::test_with_reentrant_guard ... ok
[INFO] [stdout] test detectors::token_balance_manipulation::tests::test_balance_check_without_guard ... ok
[INFO] [stdout] test detectors::token_balance_manipulation::tests::test_simple_balance_query ... ok
[INFO] [stdout] test detectors::token_balance_manipulation::tests::test_multiple_balance_operations ... ok
[INFO] [stdout] test detectors::synthetic_mint::tests::test_vulnerable_no_conservation_check ... ok
[INFO] [stdout] test detectors::token_balance_manipulation::tests::test_with_reentrancy_guard ... ok
[INFO] [stdout] test detectors::synthetic_mint::tests::test_safe_with_backing_check ... ok
[INFO] [stdout] test semantic_model::tests::flags_withdraw_with_no_guard_but_not_admin_withdraw ... ok
[INFO] [stdout] test detectors::synthetic_collateral_oracle::tests::test_synthetic_oracle_real_exploit_rhea ... ok
[INFO] [stdout] test symbolic::tests::test_constant_folding ... ok
[INFO] [stdout] test symbolic::tests::test_constraint_system_smt_lib ... ok
[INFO] [stdout] test symbolic::tests::test_symbolic_expression ... ok
[INFO] [stdout] test symbolic::tests::test_symbolic_value_concrete ... ok
[INFO] [stdout] test symbolic::tests::test_symbolic_state ... ok
[INFO] [stdout] test symbolic::tests::test_symbolic_value_variable ... ok
[INFO] [stdout] test detectors::unbounded_pricing_input::tests::does_not_flag_when_upper_bound_checked ... ok
[INFO] [stdout] test detectors::unbounded_pricing_input::tests::does_not_flag_when_param_not_used_in_arithmetic ... ok
[INFO] [stdout] test detectors::upgrade_path_verification::tests::test_pending_implementation ... ok
[INFO] [stdout] test detectors::upgrade_path_verification::tests::test_with_implementation_check ... ok
[INFO] [stdout] test detectors::upgrade_path_verification::tests::test_with_timelock ... ok
[INFO] [stdout] test detectors::upgrade_path_verification::tests::test_no_upgrade_validation ... ok
[INFO] [stdout] test detectors::upgrade_path_verification::tests::test_erc1967_upgrade ... ok
[INFO] [stdout] test detectors::unbounded_pricing_input::tests::flags_mint_function_with_no_upper_bound ... ok
[INFO] [stdout] test detectors::state_mutation_ordering::tests::test_correct_ordering ... ok
[INFO] [stdout] test detectors::state_mutation_ordering::tests::test_safe_transfer_pattern ... ok
[INFO] [stderr]      Running tests/ast_analysis.rs (/opt/rustwide/target/debug/build/truent-analyzer-evm/a7780d160c659c49/out/ast_analysis-a7780d160c659c49)
[INFO] [stdout] test detectors::state_mutation_ordering::tests::test_call_before_state_update ... ok
[INFO] [stdout] test detectors::state_mutation_ordering::tests::test_transfer_before_balance_update ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 168 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.64s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test tests::test_ast_no_false_positive_on_safe_code ... ok
[INFO] [stdout] test tests::test_ast_detects_reentrancy_vulnerability ... ok
[INFO] [stdout] test tests::test_integer_overflow_detected_pre_0_8 ... ok
[INFO] [stdout] test tests::test_flash_loan_oracle_manipulation_detected ... ok
[INFO] [stdout] test tests::test_missing_access_control_detected ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests truent_analyzer_evm
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace", kill_on_drop: false }`
[INFO] [stdout] 0a495955dd5eb52cb28e3f5e7ff2c89c1fda5fc6f550b09cd742ee2226a58ace
