[INFO] fetching crate modality-lang 0.1.6... [INFO] checking modality-lang-0.1.6 against try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342-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 a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "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" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [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" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1a7fa189c356f53c8e13e69303a36ec4647776a6122085f5d41b68202ede460e [INFO] running `Command { std: "docker" "start" "-a" "1a7fa189c356f53c8e13e69303a36ec4647776a6122085f5d41b68202ede460e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1a7fa189c356f53c8e13e69303a36ec4647776a6122085f5d41b68202ede460e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1a7fa189c356f53c8e13e69303a36ec4647776a6122085f5d41b68202ede460e", kill_on_drop: false }` [INFO] [stdout] 1a7fa189c356f53c8e13e69303a36ec4647776a6122085f5d41b68202ede460e [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" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ee9fb2626a717e63e9770c407bfb5cb7c32a4b9203df91f27e335af5197ff229 [INFO] running `Command { std: "docker" "start" "-a" "ee9fb2626a717e63e9770c407bfb5cb7c32a4b9203df91f27e335af5197ff229", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling libc v0.2.159 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Checking pin-project-lite v0.2.14 [INFO] [stderr] Compiling serde v1.0.210 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking cpufeatures v0.2.14 [INFO] [stderr] Compiling thiserror v1.0.64 [INFO] [stderr] Checking futures-sink v0.3.31 [INFO] [stderr] Checking futures-core v0.3.31 [INFO] [stderr] Compiling semver v1.0.23 [INFO] [stderr] Checking futures-task v0.3.31 [INFO] [stderr] Checking futures-io v0.3.31 [INFO] [stderr] Checking pin-utils v0.1.0 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Checking tinyvec_macros v0.1.1 [INFO] [stderr] Checking arrayref v0.3.9 [INFO] [stderr] Checking unsigned-varint v0.7.2 [INFO] [stderr] Checking tinyvec v1.8.0 [INFO] [stderr] Checking futures-channel v0.3.31 [INFO] [stderr] Checking bytes v1.7.2 [INFO] [stderr] Compiling data-encoding v2.6.0 [INFO] [stderr] Checking signature v2.2.0 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.93 [INFO] [stderr] Checking quick-protobuf v0.8.1 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Checking ed25519 v2.2.3 [INFO] [stderr] Checking percent-encoding v2.3.1 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking unicode-bidi v0.3.17 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Checking form_urlencoded v1.2.1 [INFO] [stderr] Compiling rustc_version v0.4.1 [INFO] [stderr] Compiling syn v2.0.79 [INFO] [stderr] Compiling curve25519-dalek v4.1.3 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Checking bs58 v0.5.1 [INFO] [stderr] Checking core2 v0.4.0 [INFO] [stderr] Compiling bumpalo v3.16.0 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Checking base-x v0.2.11 [INFO] [stderr] Checking unicode-normalization v0.1.24 [INFO] [stderr] Compiling serde_json v1.0.128 [INFO] [stderr] Checking unsigned-varint v0.8.0 [INFO] [stderr] Checking multihash v0.19.1 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Compiling cc v1.1.25 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Checking allocator-api2 v0.2.18 [INFO] [stderr] Checking ryu v1.0.18 [INFO] [stderr] Checking itoa v1.0.11 [INFO] [stderr] Checking futures-timer v3.0.3 [INFO] [stderr] Checking void v1.0.2 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling wasm-bindgen v0.2.93 [INFO] [stderr] Checking parking_lot v0.12.3 [INFO] [stderr] Checking web-time v1.1.0 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking idna v0.5.0 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling hashbrown v0.15.0 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling siphasher v1.0.1 [INFO] [stderr] Checking constant_time_eq v0.3.1 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling fixedbitset v0.4.2 [INFO] [stderr] Compiling phf_shared v0.11.3 [INFO] [stderr] Checking url v2.5.2 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling new_debug_unreachable v1.0.6 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling string_cache v0.8.9 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Compiling indexmap v2.6.0 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling bit-set v0.5.3 [INFO] [stderr] Checking block-buffer v0.9.0 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Compiling itertools v0.11.0 [INFO] [stderr] Compiling ena v0.14.3 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking hmac v0.12.1 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Compiling anyhow v1.0.89 [INFO] [stderr] Checking hkdf v0.12.4 [INFO] [stderr] Compiling blake3 v1.5.4 [INFO] [stderr] Compiling ring v0.17.8 [INFO] [stderr] Compiling pico-args v0.5.0 [INFO] [stderr] Checking signature v1.6.4 [INFO] [stderr] Checking opaque-debug v0.3.1 [INFO] [stderr] Checking sha2 v0.9.9 [INFO] [stderr] Checking ed25519 v1.5.3 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking blake2s_simd v1.0.2 [INFO] [stderr] Checking blake2b_simd v1.0.2 [INFO] [stderr] Checking socket2 v0.5.7 [INFO] [stderr] Checking signal-hook-registry v1.4.2 [INFO] [stderr] Checking mio v1.0.2 [INFO] [stderr] Compiling petgraph v0.6.5 [INFO] [stderr] Checking rtoolbox v0.0.2 [INFO] [stderr] Checking untrusted v0.9.0 [INFO] [stderr] Checking spin v0.9.8 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking rpassword v7.3.1 [INFO] [stderr] Checking sha1 v0.10.6 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking base64 v0.21.7 [INFO] [stderr] Checking base58 v0.2.0 [INFO] [stderr] Checking scoped-tls v1.0.1 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling data-encoding-macro-internal v0.1.13 [INFO] [stderr] Compiling regex-automata v0.4.8 [INFO] [stderr] Checking data-encoding-macro v0.1.15 [INFO] [stderr] Checking multibase v0.9.1 [INFO] [stderr] Compiling toml v0.5.11 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.93 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling serde_derive v1.0.210 [INFO] [stderr] Compiling thiserror-impl v1.0.64 [INFO] [stderr] Compiling futures-macro v0.3.31 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling curve25519-dalek-derive v0.1.1 [INFO] [stderr] Compiling pin-project-internal v1.1.6 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Compiling tokio-macros v2.4.0 [INFO] [stderr] Compiling wasm-bindgen-test-macro v0.3.43 [INFO] [stderr] Compiling regex v1.11.0 [INFO] [stderr] Compiling lalrpop-util v0.20.2 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.93 [INFO] [stderr] Compiling lalrpop v0.20.2 [INFO] [stderr] Checking tokio v1.42.0 [INFO] [stderr] Checking curve25519-dalek v3.2.0 [INFO] [stderr] Checking futures-util v0.3.31 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking pin-project v1.1.6 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.93 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Compiling proc-macro-crate v1.1.3 [INFO] [stderr] Compiling multihash-derive v0.8.1 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Checking ed25519-dalek v2.1.1 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking multihash v0.18.1 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Checking libp2p-identity v0.2.9 [INFO] [stderr] Checking lru v0.12.4 [INFO] [stderr] Checking futures-executor v0.3.31 [INFO] [stderr] Checking asynchronous-codec v0.7.0 [INFO] [stderr] Checking futures-bounded v0.2.4 [INFO] [stderr] Checking futures v0.3.31 [INFO] [stderr] Checking quick-protobuf-codec v0.3.1 [INFO] [stderr] Checking rw-stream-sink v0.4.0 [INFO] [stderr] Checking multistream-select v0.13.0 [INFO] [stderr] Checking multiaddr v0.18.2 [INFO] [stderr] Checking ed25519-dalek v1.0.1 [INFO] [stderr] Checking libp2p-core v0.42.0 [INFO] [stderr] Checking libp2p-swarm v0.45.1 [INFO] [stderr] Checking js-sys v0.3.70 [INFO] [stderr] Checking console_error_panic_hook v0.1.7 [INFO] [stderr] Checking libp2p-connection-limits v0.4.0 [INFO] [stderr] Checking libp2p-allow-block-list v0.4.0 [INFO] [stderr] Checking libp2p-identify v0.45.0 [INFO] [stderr] Checking libp2p v0.54.1 [INFO] [stderr] Checking modality-utils v0.1.5 [INFO] [stderr] Compiling modality-lang v0.1.6 (/opt/rustwide/workdir) [INFO] [stderr] Checking web-sys v0.3.70 [INFO] [stderr] Checking wasm-bindgen-futures v0.4.43 [INFO] [stderr] Checking wasm-bindgen-test v0.3.43 [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)]` 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-761a3fee870696b2/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)]` 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-761a3fee870696b2/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)]` 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)]` 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)]` 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)]` 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)]` 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)]` 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)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 59.09s [INFO] running `Command { std: "docker" "inspect" "ee9fb2626a717e63e9770c407bfb5cb7c32a4b9203df91f27e335af5197ff229", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ee9fb2626a717e63e9770c407bfb5cb7c32a4b9203df91f27e335af5197ff229", kill_on_drop: false }` [INFO] [stdout] ee9fb2626a717e63e9770c407bfb5cb7c32a4b9203df91f27e335af5197ff229