[INFO] fetching crate modality-lang 0.1.6... [INFO] testing modality-lang-0.1.6 against try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-1 [INFO] extracting crate modality-lang 0.1.6 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate modality-lang 0.1.6 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate modality-lang 0.1.6 [INFO] tweaked toml for crates.io crate modality-lang 0.1.6 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate modality-lang 0.1.6 on toolchain b83b707f97d809763b7861afa7638871f3339a33 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate modality-lang 0.1.6 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" "+b83b707f97d809763b7861afa7638871f3339a33" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d845f8b21fd31da5e84d9f11c83c85ac902a5b66698476e58215763f7432ec3f [INFO] running `Command { std: "docker" "start" "-a" "d845f8b21fd31da5e84d9f11c83c85ac902a5b66698476e58215763f7432ec3f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d845f8b21fd31da5e84d9f11c83c85ac902a5b66698476e58215763f7432ec3f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d845f8b21fd31da5e84d9f11c83c85ac902a5b66698476e58215763f7432ec3f", kill_on_drop: false }` [INFO] [stdout] d845f8b21fd31da5e84d9f11c83c85ac902a5b66698476e58215763f7432ec3f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6162fd2dd4002c147ed3775c444c469106466ecac2babd91d554851a40668a39 [INFO] running `Command { std: "docker" "start" "-a" "6162fd2dd4002c147ed3775c444c469106466ecac2babd91d554851a40668a39", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling libc v0.2.159 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling subtle v2.6.1 [INFO] [stderr] Compiling pin-project-lite v0.2.14 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling semver v1.0.23 [INFO] [stderr] Compiling futures-core v0.3.31 [INFO] [stderr] Compiling serde v1.0.210 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling futures-channel v0.3.31 [INFO] [stderr] Compiling smallvec v1.13.2 [INFO] [stderr] Compiling thiserror v1.0.64 [INFO] [stderr] Compiling futures-io v0.3.31 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling unsigned-varint v0.7.2 [INFO] [stderr] Compiling arrayref v0.3.9 [INFO] [stderr] Compiling sha2 v0.10.8 [INFO] [stderr] Compiling core2 v0.4.0 [INFO] [stderr] Compiling bytes v1.7.2 [INFO] [stderr] Compiling data-encoding v2.6.0 [INFO] [stderr] Compiling signature v2.2.0 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling rustc_version v0.4.1 [INFO] [stderr] Compiling ed25519 v2.2.3 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling curve25519-dalek v4.1.3 [INFO] [stderr] Compiling num_cpus v1.16.0 [INFO] [stderr] Compiling syn v2.0.79 [INFO] [stderr] Compiling parking_lot v0.12.3 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling hmac v0.12.1 [INFO] [stderr] Compiling quick-protobuf v0.8.1 [INFO] [stderr] Compiling tracing-core v0.1.32 [INFO] [stderr] Compiling hkdf v0.12.4 [INFO] [stderr] Compiling multihash v0.19.1 [INFO] [stderr] Compiling unsigned-varint v0.8.0 [INFO] [stderr] Compiling bs58 v0.5.1 [INFO] [stderr] Compiling base-x v0.2.11 [INFO] [stderr] Compiling cc v1.1.25 [INFO] [stderr] Compiling url v2.5.2 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.93 [INFO] [stderr] Compiling futures-timer v3.0.3 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling web-time v1.1.0 [INFO] [stderr] Compiling void v1.0.2 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Compiling serde_json v1.0.128 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling bumpalo v3.16.0 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling hashbrown v0.15.0 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling siphasher v1.0.1 [INFO] [stderr] Compiling constant_time_eq v0.3.1 [INFO] [stderr] Compiling blake3 v1.5.4 [INFO] [stderr] Compiling phf_shared v0.11.3 [INFO] [stderr] Compiling indexmap v2.6.0 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling digest v0.9.0 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling wasm-bindgen v0.2.93 [INFO] [stderr] Compiling new_debug_unreachable v1.0.6 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling petgraph v0.6.5 [INFO] [stderr] Compiling bit-set v0.5.3 [INFO] [stderr] Compiling itertools v0.11.0 [INFO] [stderr] Compiling regex-automata v0.4.8 [INFO] [stderr] Compiling data-encoding-macro-internal v0.1.13 [INFO] [stderr] Compiling string_cache v0.8.9 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.93 [INFO] [stderr] Compiling data-encoding-macro v0.1.15 [INFO] [stderr] Compiling multibase v0.9.1 [INFO] [stderr] Compiling toml v0.5.11 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Compiling ring v0.17.8 [INFO] [stderr] Compiling lalrpop-util v0.20.2 [INFO] [stderr] Compiling regex v1.11.0 [INFO] [stderr] Compiling block-buffer v0.9.0 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.93 [INFO] [stderr] Compiling ena v0.14.3 [INFO] [stderr] Compiling anyhow v1.0.89 [INFO] [stderr] Compiling pico-args v0.5.0 [INFO] [stderr] Compiling signature v1.6.4 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling futures-macro v0.3.31 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling serde_derive v1.0.210 [INFO] [stderr] Compiling thiserror-impl v1.0.64 [INFO] [stderr] Compiling curve25519-dalek-derive v0.1.1 [INFO] [stderr] Compiling zeroize v1.8.1 [INFO] [stderr] Compiling pin-project-internal v1.1.6 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Compiling zerocopy v0.7.35 [INFO] [stderr] Compiling futures-util v0.3.31 [INFO] [stderr] Compiling proc-macro-crate v1.1.3 [INFO] [stderr] Compiling ppv-lite86 v0.2.20 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling pin-project v1.1.6 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.93 [INFO] [stderr] Compiling tracing v0.1.40 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling ed25519-dalek v2.1.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling multihash-derive v0.8.1 [INFO] [stderr] Compiling lru v0.12.4 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling curve25519-dalek v3.2.0 [INFO] [stderr] Compiling libp2p-identity v0.2.9 [INFO] [stderr] Compiling lalrpop v0.20.2 [INFO] [stderr] Compiling ed25519 v1.5.3 [INFO] [stderr] Compiling tokio-macros v2.4.0 [INFO] [stderr] Compiling sha3 v0.10.8 [INFO] [stderr] Compiling sha2 v0.9.9 [INFO] [stderr] Compiling futures-executor v0.3.31 [INFO] [stderr] Compiling asynchronous-codec v0.7.0 [INFO] [stderr] Compiling futures v0.3.31 [INFO] [stderr] Compiling quick-protobuf-codec v0.3.1 [INFO] [stderr] Compiling multistream-select v0.13.0 [INFO] [stderr] Compiling rw-stream-sink v0.4.0 [INFO] [stderr] Compiling futures-bounded v0.2.4 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling blake2s_simd v1.0.2 [INFO] [stderr] Compiling blake2b_simd v1.0.2 [INFO] [stderr] Compiling socket2 v0.5.7 [INFO] [stderr] Compiling mio v1.0.2 [INFO] [stderr] Compiling rtoolbox v0.0.2 [INFO] [stderr] Compiling signal-hook-registry v1.4.2 [INFO] [stderr] Compiling spin v0.9.8 [INFO] [stderr] Compiling tokio v1.42.0 [INFO] [stderr] Compiling rpassword v7.3.1 [INFO] [stderr] Compiling multihash v0.18.1 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling sha1 v0.10.6 [INFO] [stderr] Compiling base64 v0.21.7 [INFO] [stderr] Compiling base58 v0.2.0 [INFO] [stderr] Compiling multiaddr v0.18.2 [INFO] [stderr] Compiling ed25519-dalek v1.0.1 [INFO] [stderr] Compiling libp2p-core v0.42.0 [INFO] [stderr] Compiling libp2p-swarm v0.45.1 [INFO] [stderr] Compiling js-sys v0.3.70 [INFO] [stderr] Compiling libp2p-identify v0.45.0 [INFO] [stderr] Compiling libp2p-connection-limits v0.4.0 [INFO] [stderr] Compiling libp2p-allow-block-list v0.4.0 [INFO] [stderr] Compiling libp2p v0.54.1 [INFO] [stderr] Compiling modality-utils v0.1.5 [INFO] [stderr] Compiling modality-lang v0.1.6 (/opt/rustwide/workdir) [INFO] [stderr] Compiling web-sys v0.3.70 [INFO] [stdout] warning: unused import: `lalrpop_util::lexer::Token` [INFO] [stdout] --> src/lexer.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use lalrpop_util::lexer::Token; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ModelParser` [INFO] [stdout] --> src/lalrpop_parser.rs:4:38 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::grammar::{TopLevelParser, ModelParser, FormulaParser}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Graph`, `Property`, and `Transition` [INFO] [stdout] --> src/mermaid.rs:1:25 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ast::{Model, Graph, Transition, Property, PropertySign}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PropertySign` [INFO] [stdout] --> src/wasm.rs:3:25 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::ast::{Model, PropertySign, Formula}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `parse_all_models_lalrpop` and `parse_file_lalrpop` [INFO] [stdout] --> src/wasm.rs:4:29 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::lalrpop_parser::{parse_file_lalrpop, parse_content_lalrpop, parse_all_models_lalrpop, parse_all_models_content_lalrpop, parse_... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `generate_mermaid_diagrams` [INFO] [stdout] --> src/wasm.rs:5:48 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::mermaid::{generate_mermaid_diagram, generate_mermaid_diagrams, generate_mermaid_diagram_with_styling, generate_mermaid_diagram... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ModelCheckResult` and `State` [INFO] [stdout] --> src/wasm.rs:6:42 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::model_checker::{ModelChecker, State, ModelCheckResult}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:89:1 [INFO] [stdout] | [INFO] [stdout] 89 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:96:1 [INFO] [stdout] | [INFO] [stdout] 96 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:103:1 [INFO] [stdout] | [INFO] [stdout] 103 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:110:1 [INFO] [stdout] | [INFO] [stdout] 110 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:117:1 [INFO] [stdout] | [INFO] [stdout] 117 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:124:1 [INFO] [stdout] | [INFO] [stdout] 124 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:131:1 [INFO] [stdout] | [INFO] [stdout] 131 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:143:1 [INFO] [stdout] | [INFO] [stdout] 143 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PropertySign` [INFO] [stdout] --> src/model_checker.rs:2:54 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::{Model, Graph, Transition, Property, PropertySign, Formula, FormulaExpr}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `GraphState` [INFO] [stdout] --> /opt/rustwide/target/debug/build/modality-lang-5e02e4549ed0dfb6/out/grammar.rs:3:90 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::ast::{Model, Graph, Transition, Property, PropertySign, Formula, FormulaExpr, GraphState, TopLevelItem}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:25:32 [INFO] [stdout] | [INFO] [stdout] 25 | wasm_bindgen::JsValue::from_serde(&model).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:32:32 [INFO] [stdout] | [INFO] [stdout] 32 | wasm_bindgen::JsValue::from_serde(&models).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:60:32 [INFO] [stdout] | [INFO] [stdout] 60 | wasm_bindgen::JsValue::from_serde(&formulas).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:72:32 [INFO] [stdout] | [INFO] [stdout] 72 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:84:32 [INFO] [stdout] | [INFO] [stdout] 84 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:93:28 [INFO] [stdout] | [INFO] [stdout] 93 | wasm_bindgen::JsValue::from_serde(&model).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:100:28 [INFO] [stdout] | [INFO] [stdout] 100 | wasm_bindgen::JsValue::from_serde(&models).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:128:28 [INFO] [stdout] | [INFO] [stdout] 128 | wasm_bindgen::JsValue::from_serde(&formulas).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:140:28 [INFO] [stdout] | [INFO] [stdout] 140 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:152:28 [INFO] [stdout] | [INFO] [stdout] 152 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `current_nodes` [INFO] [stdout] --> src/mermaid.rs:170:13 [INFO] [stdout] | [INFO] [stdout] 170 | let current_nodes = if let Some(state) = &model.state { [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_current_nodes` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `node_name` [INFO] [stdout] --> src/mermaid.rs:180:17 [INFO] [stdout] | [INFO] [stdout] 180 | let node_name = if model.graphs.len() > 1 { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_node_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `transition_satisfies_property` is never used [INFO] [stdout] --> src/model_checker.rs:184:8 [INFO] [stdout] | [INFO] [stdout] 24 | impl ModelChecker { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 184 | fn transition_satisfies_property(&self, transition: &Transition, property: &Property) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 40s [INFO] running `Command { std: "docker" "inspect" "6162fd2dd4002c147ed3775c444c469106466ecac2babd91d554851a40668a39", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6162fd2dd4002c147ed3775c444c469106466ecac2babd91d554851a40668a39", kill_on_drop: false }` [INFO] [stdout] 6162fd2dd4002c147ed3775c444c469106466ecac2babd91d554851a40668a39 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 62f0b2b4504e303017df29671c7755ce6b05b1535d6710144573d19beb558f02 [INFO] running `Command { std: "docker" "start" "-a" "62f0b2b4504e303017df29671c7755ce6b05b1535d6710144573d19beb558f02", kill_on_drop: false }` [INFO] [stderr] Compiling tokio v1.42.0 [INFO] [stderr] Compiling wasm-bindgen-futures v0.4.43 [INFO] [stderr] Compiling console_error_panic_hook v0.1.7 [INFO] [stderr] Compiling wasm-bindgen-test-macro v0.3.43 [INFO] [stderr] Compiling scoped-tls v1.0.1 [INFO] [stderr] Compiling wasm-bindgen-test v0.3.43 [INFO] [stderr] Compiling modality-utils v0.1.5 [INFO] [stderr] Compiling modality-lang v0.1.6 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `lalrpop_util::lexer::Token` [INFO] [stdout] --> src/lexer.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use lalrpop_util::lexer::Token; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ModelParser` [INFO] [stdout] --> src/lalrpop_parser.rs:4:38 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::grammar::{TopLevelParser, ModelParser, FormulaParser}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Graph`, `Property`, and `Transition` [INFO] [stdout] --> src/mermaid.rs:1:25 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ast::{Model, Graph, Transition, Property, PropertySign}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PropertySign` [INFO] [stdout] --> src/wasm.rs:3:25 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::ast::{Model, PropertySign, Formula}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `parse_all_models_lalrpop` and `parse_file_lalrpop` [INFO] [stdout] --> src/wasm.rs:4:29 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::lalrpop_parser::{parse_file_lalrpop, parse_content_lalrpop, parse_all_models_lalrpop, parse_all_models_content_lalrpop, parse_... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `generate_mermaid_diagrams` [INFO] [stdout] --> src/wasm.rs:5:48 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::mermaid::{generate_mermaid_diagram, generate_mermaid_diagrams, generate_mermaid_diagram_with_styling, generate_mermaid_diagram... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ModelCheckResult` and `State` [INFO] [stdout] --> src/wasm.rs:6:42 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::model_checker::{ModelChecker, State, ModelCheckResult}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:89:1 [INFO] [stdout] | [INFO] [stdout] 89 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:96:1 [INFO] [stdout] | [INFO] [stdout] 96 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:103:1 [INFO] [stdout] | [INFO] [stdout] 103 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:110:1 [INFO] [stdout] | [INFO] [stdout] 110 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:117:1 [INFO] [stdout] | [INFO] [stdout] 117 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:124:1 [INFO] [stdout] | [INFO] [stdout] 124 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:131:1 [INFO] [stdout] | [INFO] [stdout] 131 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:143:1 [INFO] [stdout] | [INFO] [stdout] 143 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PropertySign` [INFO] [stdout] --> src/model_checker.rs:2:54 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::{Model, Graph, Transition, Property, PropertySign, Formula, FormulaExpr}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `GraphState` [INFO] [stdout] --> /opt/rustwide/target/debug/build/modality-lang-5e02e4549ed0dfb6/out/grammar.rs:3:90 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::ast::{Model, Graph, Transition, Property, PropertySign, Formula, FormulaExpr, GraphState, TopLevelItem}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lalrpop_util::lexer::Token` [INFO] [stdout] --> src/lexer.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use lalrpop_util::lexer::Token; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ModelParser` [INFO] [stdout] --> src/lalrpop_parser.rs:4:38 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::grammar::{TopLevelParser, ModelParser, FormulaParser}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Graph`, `Property`, and `Transition` [INFO] [stdout] --> src/mermaid.rs:1:25 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ast::{Model, Graph, Transition, Property, PropertySign}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PropertySign` [INFO] [stdout] --> src/wasm.rs:3:25 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::ast::{Model, PropertySign, Formula}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `parse_all_models_lalrpop` and `parse_file_lalrpop` [INFO] [stdout] --> src/wasm.rs:4:29 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::lalrpop_parser::{parse_file_lalrpop, parse_content_lalrpop, parse_all_models_lalrpop, parse_all_models_content_lalrpop, parse_... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `generate_mermaid_diagrams` [INFO] [stdout] --> src/wasm.rs:5:48 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::mermaid::{generate_mermaid_diagram, generate_mermaid_diagrams, generate_mermaid_diagram_with_styling, generate_mermaid_diagram... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ModelCheckResult` and `State` [INFO] [stdout] --> src/wasm.rs:6:42 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::model_checker::{ModelChecker, State, ModelCheckResult}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:89:1 [INFO] [stdout] | [INFO] [stdout] 89 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:96:1 [INFO] [stdout] | [INFO] [stdout] 96 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:103:1 [INFO] [stdout] | [INFO] [stdout] 103 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:110:1 [INFO] [stdout] | [INFO] [stdout] 110 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:117:1 [INFO] [stdout] | [INFO] [stdout] 117 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:124:1 [INFO] [stdout] | [INFO] [stdout] 124 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:131:1 [INFO] [stdout] | [INFO] [stdout] 131 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stdout] --> src/wasm.rs:143:1 [INFO] [stdout] | [INFO] [stdout] 143 | #[wasm_bindgen] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PropertySign` [INFO] [stdout] --> src/model_checker.rs:2:54 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::{Model, Graph, Transition, Property, PropertySign, Formula, FormulaExpr}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `GraphState` [INFO] [stdout] --> /opt/rustwide/target/debug/build/modality-lang-5e02e4549ed0dfb6/out/grammar.rs:3:90 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::ast::{Model, Graph, Transition, Property, PropertySign, Formula, FormulaExpr, GraphState, TopLevelItem}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:25:32 [INFO] [stdout] | [INFO] [stdout] 25 | wasm_bindgen::JsValue::from_serde(&model).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:32:32 [INFO] [stdout] | [INFO] [stdout] 32 | wasm_bindgen::JsValue::from_serde(&models).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:60:32 [INFO] [stdout] | [INFO] [stdout] 60 | wasm_bindgen::JsValue::from_serde(&formulas).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:72:32 [INFO] [stdout] | [INFO] [stdout] 72 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:84:32 [INFO] [stdout] | [INFO] [stdout] 84 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:93:28 [INFO] [stdout] | [INFO] [stdout] 93 | wasm_bindgen::JsValue::from_serde(&model).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:100:28 [INFO] [stdout] | [INFO] [stdout] 100 | wasm_bindgen::JsValue::from_serde(&models).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:128:28 [INFO] [stdout] | [INFO] [stdout] 128 | wasm_bindgen::JsValue::from_serde(&formulas).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:140:28 [INFO] [stdout] | [INFO] [stdout] 140 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:152:28 [INFO] [stdout] | [INFO] [stdout] 152 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:25:32 [INFO] [stdout] | [INFO] [stdout] 25 | wasm_bindgen::JsValue::from_serde(&model).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:32:32 [INFO] [stdout] | [INFO] [stdout] 32 | wasm_bindgen::JsValue::from_serde(&models).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:60:32 [INFO] [stdout] | [INFO] [stdout] 60 | wasm_bindgen::JsValue::from_serde(&formulas).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:72:32 [INFO] [stdout] | [INFO] [stdout] 72 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:84:32 [INFO] [stdout] | [INFO] [stdout] 84 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:93:28 [INFO] [stdout] | [INFO] [stdout] 93 | wasm_bindgen::JsValue::from_serde(&model).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:100:28 [INFO] [stdout] | [INFO] [stdout] 100 | wasm_bindgen::JsValue::from_serde(&models).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:128:28 [INFO] [stdout] | [INFO] [stdout] 128 | wasm_bindgen::JsValue::from_serde(&formulas).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:140:28 [INFO] [stdout] | [INFO] [stdout] 140 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stdout] --> src/wasm.rs:152:28 [INFO] [stdout] | [INFO] [stdout] 152 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `current_nodes` [INFO] [stdout] --> src/mermaid.rs:170:13 [INFO] [stdout] | [INFO] [stdout] 170 | let current_nodes = if let Some(state) = &model.state { [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_current_nodes` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `node_name` [INFO] [stdout] --> src/mermaid.rs:180:17 [INFO] [stdout] | [INFO] [stdout] 180 | let node_name = if model.graphs.len() > 1 { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_node_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `current_nodes` [INFO] [stdout] --> src/mermaid.rs:170:13 [INFO] [stdout] | [INFO] [stdout] 170 | let current_nodes = if let Some(state) = &model.state { [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_current_nodes` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `node_name` [INFO] [stdout] --> src/mermaid.rs:180:17 [INFO] [stdout] | [INFO] [stdout] 180 | let node_name = if model.graphs.len() > 1 { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_node_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `transition_satisfies_property` is never used [INFO] [stdout] --> src/model_checker.rs:184:8 [INFO] [stdout] | [INFO] [stdout] 24 | impl ModelChecker { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 184 | fn transition_satisfies_property(&self, transition: &Transition, property: &Property) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `transition_satisfies_property` is never used [INFO] [stdout] --> src/model_checker.rs:184:8 [INFO] [stdout] | [INFO] [stdout] 24 | impl ModelChecker { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 184 | fn transition_satisfies_property(&self, transition: &Transition, property: &Property) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PropertySign` [INFO] [stdout] --> examples/parse_example.rs:1:41 [INFO] [stdout] | [INFO] [stdout] 1 | use modality_lang::{parse_file_lalrpop, PropertySign}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `parse_content_lalrpop` [INFO] [stdout] --> examples/model_checker_demo.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | parse_content_lalrpop, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PropertySign` [INFO] [stdout] --> examples/compare_parsers.rs:1:41 [INFO] [stdout] | [INFO] [stdout] 1 | use modality_lang::{parse_file_lalrpop, PropertySign}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 16.58s [INFO] running `Command { std: "docker" "inspect" "62f0b2b4504e303017df29671c7755ce6b05b1535d6710144573d19beb558f02", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "62f0b2b4504e303017df29671c7755ce6b05b1535d6710144573d19beb558f02", kill_on_drop: false }` [INFO] [stdout] 62f0b2b4504e303017df29671c7755ce6b05b1535d6710144573d19beb558f02 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 61c4ad8957bacf793bbe8bbefd478d12053f15678eddf37c0ebfe3937f413c93 [INFO] running `Command { std: "docker" "start" "-a" "61c4ad8957bacf793bbe8bbefd478d12053f15678eddf37c0ebfe3937f413c93", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `lalrpop_util::lexer::Token` [INFO] [stderr] --> src/lexer.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use lalrpop_util::lexer::Token; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `ModelParser` [INFO] [stderr] --> src/lalrpop_parser.rs:4:38 [INFO] [stderr] | [INFO] [stderr] 4 | use crate::grammar::{TopLevelParser, ModelParser, FormulaParser}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Graph`, `Property`, and `Transition` [INFO] [stderr] --> src/mermaid.rs:1:25 [INFO] [stderr] | [INFO] [stderr] 1 | use crate::ast::{Model, Graph, Transition, Property, PropertySign}; [INFO] [stderr] | ^^^^^ ^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `PropertySign` [INFO] [stderr] --> src/wasm.rs:3:25 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::ast::{Model, PropertySign, Formula}; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `parse_all_models_lalrpop` and `parse_file_lalrpop` [INFO] [stderr] --> src/wasm.rs:4:29 [INFO] [stderr] | [INFO] [stderr] 4 | use crate::lalrpop_parser::{parse_file_lalrpop, parse_content_lalrpop, parse_all_models_lalrpop, parse_all_models_content_lalrpop, parse_... [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `generate_mermaid_diagrams` [INFO] [stderr] --> src/wasm.rs:5:48 [INFO] [stderr] | [INFO] [stderr] 5 | use crate::mermaid::{generate_mermaid_diagram, generate_mermaid_diagrams, generate_mermaid_diagram_with_styling, generate_mermaid_diagram... [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `ModelCheckResult` and `State` [INFO] [stderr] --> src/wasm.rs:6:42 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::model_checker::{ModelChecker, State, ModelCheckResult}; [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stderr] --> src/wasm.rs:9:1 [INFO] [stderr] | [INFO] [stderr] 9 | #[wasm_bindgen] [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stderr] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stderr] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stderr] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stderr] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stderr] --> src/wasm.rs:14:1 [INFO] [stderr] | [INFO] [stderr] 14 | #[wasm_bindgen] [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stderr] = help: try referring to `wasm_bindgen::prelude::__wasm_bindgen_class_marker` crate for guidance on how handle this unexpected cfg [INFO] [stderr] = help: the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: this warning originates in the attribute macro `wasm_bindgen::prelude::__wasm_bindgen_class_marker` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stderr] --> src/wasm.rs:89:1 [INFO] [stderr] | [INFO] [stderr] 89 | #[wasm_bindgen] [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stderr] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stderr] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stderr] --> src/wasm.rs:96:1 [INFO] [stderr] | [INFO] [stderr] 96 | #[wasm_bindgen] [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stderr] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stderr] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stderr] --> src/wasm.rs:103:1 [INFO] [stderr] | [INFO] [stderr] 103 | #[wasm_bindgen] [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stderr] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stderr] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stderr] --> src/wasm.rs:110:1 [INFO] [stderr] | [INFO] [stderr] 110 | #[wasm_bindgen] [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stderr] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stderr] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stderr] --> src/wasm.rs:117:1 [INFO] [stderr] | [INFO] [stderr] 117 | #[wasm_bindgen] [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stderr] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stderr] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stderr] --> src/wasm.rs:124:1 [INFO] [stderr] | [INFO] [stderr] 124 | #[wasm_bindgen] [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stderr] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stderr] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stderr] --> src/wasm.rs:131:1 [INFO] [stderr] | [INFO] [stderr] 131 | #[wasm_bindgen] [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stderr] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stderr] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `wasm_bindgen_unstable_test_coverage` [INFO] [stderr] --> src/wasm.rs:143:1 [INFO] [stderr] | [INFO] [stderr] 143 | #[wasm_bindgen] [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: using a cfg inside a attribute macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stderr] = help: try referring to `wasm_bindgen` crate for guidance on how handle this unexpected cfg [INFO] [stderr] = help: the attribute macro `wasm_bindgen` may come from an old version of the `wasm_bindgen_macro` crate, try updating your dependency with `cargo update -p wasm_bindgen_macro` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: this warning originates in the attribute macro `wasm_bindgen` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unused import: `PropertySign` [INFO] [stderr] --> src/model_checker.rs:2:54 [INFO] [stderr] | [INFO] [stderr] 2 | use crate::ast::{Model, Graph, Transition, Property, PropertySign, Formula, FormulaExpr}; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `GraphState` [INFO] [stderr] --> /opt/rustwide/target/debug/build/modality-lang-5e02e4549ed0dfb6/out/grammar.rs:3:90 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::ast::{Model, Graph, Transition, Property, PropertySign, Formula, FormulaExpr, GraphState, TopLevelItem}; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stderr] --> src/wasm.rs:25:32 [INFO] [stderr] | [INFO] [stderr] 25 | wasm_bindgen::JsValue::from_serde(&model).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stderr] --> src/wasm.rs:32:32 [INFO] [stderr] | [INFO] [stderr] 32 | wasm_bindgen::JsValue::from_serde(&models).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stderr] --> src/wasm.rs:60:32 [INFO] [stderr] | [INFO] [stderr] 60 | wasm_bindgen::JsValue::from_serde(&formulas).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stderr] --> src/wasm.rs:72:32 [INFO] [stderr] | [INFO] [stderr] 72 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stderr] --> src/wasm.rs:84:32 [INFO] [stderr] | [INFO] [stderr] 84 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stderr] --> src/wasm.rs:93:28 [INFO] [stderr] | [INFO] [stderr] 93 | wasm_bindgen::JsValue::from_serde(&model).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stderr] --> src/wasm.rs:100:28 [INFO] [stderr] | [INFO] [stderr] 100 | wasm_bindgen::JsValue::from_serde(&models).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stderr] --> src/wasm.rs:128:28 [INFO] [stderr] | [INFO] [stderr] 128 | wasm_bindgen::JsValue::from_serde(&formulas).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stderr] --> src/wasm.rs:140:28 [INFO] [stderr] | [INFO] [stderr] 140 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `wasm_bindgen::JsValue::from_serde`: causes dependency cycles, use `serde-wasm-bindgen` or `gloo_utils::format::JsValueSerdeExt` instead [INFO] [stderr] --> src/wasm.rs:152:28 [INFO] [stderr] | [INFO] [stderr] 152 | wasm_bindgen::JsValue::from_serde(&result).map_err(|e| JsValue::from_str(&format!("Serde error: {}", e))) [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `current_nodes` [INFO] [stderr] --> src/mermaid.rs:170:13 [INFO] [stderr] | [INFO] [stderr] 170 | let current_nodes = if let Some(state) = &model.state { [INFO] [stderr] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_current_nodes` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node_name` [INFO] [stderr] --> src/mermaid.rs:180:17 [INFO] [stderr] | [INFO] [stderr] 180 | let node_name = if model.graphs.len() > 1 { [INFO] [stderr] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_node_name` [INFO] [stderr] [INFO] [stderr] warning: method `transition_satisfies_property` is never used [INFO] [stderr] --> src/model_checker.rs:184:8 [INFO] [stderr] | [INFO] [stderr] 24 | impl ModelChecker { [INFO] [stderr] | ----------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 184 | fn transition_satisfies_property(&self, transition: &Transition, property: &Property) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `modality-lang` (lib) generated 40 warnings (8 duplicates) (run `cargo fix --lib -p modality-lang` to apply 9 suggestions) [INFO] [stderr] warning: unused import: `PropertySign` [INFO] [stderr] --> examples/parse_example.rs:1:41 [INFO] [stderr] | [INFO] [stderr] 1 | use modality_lang::{parse_file_lalrpop, PropertySign}; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `PropertySign` [INFO] [stderr] --> examples/compare_parsers.rs:1:41 [INFO] [stderr] | [INFO] [stderr] 1 | use modality_lang::{parse_file_lalrpop, PropertySign}; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `modality-lang` (example "parse_example") generated 1 warning (run `cargo fix --example "parse_example"` to apply 1 suggestion) [INFO] [stderr] warning: `modality-lang` (lib test) generated 40 warnings (40 duplicates) [INFO] [stderr] warning: `modality-lang` (example "compare_parsers") generated 1 warning (run `cargo fix --example "compare_parsers"` to apply 1 suggestion) [INFO] [stderr] warning: unused import: `parse_content_lalrpop` [INFO] [stderr] --> examples/model_checker_demo.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | parse_content_lalrpop, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `modality-lang` (example "model_checker_demo") generated 1 warning (run `cargo fix --example "model_checker_demo"` to apply 1 suggestion) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.34s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/modality_lang-64e5ea21cb673fde) [INFO] [stdout] [INFO] [stdout] running 16 tests [INFO] [stdout] test mermaid::tests::test_generate_diagram_with_properties ... ok [INFO] [stdout] test lalrpop_parser::tests::test_parse_model_with_multiple_properties_lalrpop ... ok [INFO] [stdout] test lalrpop_parser::tests::test_parse_simple_model_lalrpop ... ok [INFO] [stdout] test lalrpop_parser::tests::test_parse_model_with_multiple_graphs_lalrpop ... ok [INFO] [stdout] test lalrpop_parser::tests::test_parse_modal_formulas ... ok [INFO] [stdout] test mermaid::tests::test_generate_diagram_with_state ... ok [INFO] [stdout] test lalrpop_parser::tests::test_parse_model_with_properties_lalrpop ... ok [INFO] [stdout] test lalrpop_parser::tests::test_parse_boolean_formulas ... ok [INFO] [stdout] test mermaid::tests::test_generate_multiple_graphs_diagram ... ok [INFO] [stdout] test mermaid::tests::test_single_graph_no_prefix ... ok [INFO] [stdout] test mermaid::tests::test_generate_simple_diagram ... ok [INFO] [stdout] test model_checker::tests::test_evaluate_false ... ok [INFO] [stdout] test mermaid::tests::test_graph_isolation ... ok [INFO] [stdout] test model_checker::tests::test_evaluate_true ... ok [INFO] [stderr] Doc-tests modality_lang [INFO] [stdout] test mermaid::tests::test_generate_diagram_with_multiple_graphs_and_state ... ok [INFO] [stdout] test model_checker::tests::test_evaluate_diamond ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [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" "61c4ad8957bacf793bbe8bbefd478d12053f15678eddf37c0ebfe3937f413c93", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "61c4ad8957bacf793bbe8bbefd478d12053f15678eddf37c0ebfe3937f413c93", kill_on_drop: false }` [INFO] [stdout] 61c4ad8957bacf793bbe8bbefd478d12053f15678eddf37c0ebfe3937f413c93