[INFO] fetching crate rtlola-hir 0.1.4... [INFO] testing rtlola-hir-0.1.4 against beta-2021-09-08 for beta-1.56-1 [INFO] extracting crate rtlola-hir 0.1.4 into /workspace/builds/worker-106/source [INFO] validating manifest of crates.io crate rtlola-hir 0.1.4 on toolchain beta-2021-09-08 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-09-08" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate rtlola-hir 0.1.4 [INFO] finished tweaking crates.io crate rtlola-hir 0.1.4 [INFO] tweaked toml for crates.io crate rtlola-hir 0.1.4 written to /workspace/builds/worker-106/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-09-08" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-09-08" "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-106/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-106/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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1ba8305102ce7499a1b9b52fe8defc2f0a018d4a52d55ae440bf46ee72dfe3e0 [INFO] running `Command { std: "docker" "start" "-a" "1ba8305102ce7499a1b9b52fe8defc2f0a018d4a52d55ae440bf46ee72dfe3e0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1ba8305102ce7499a1b9b52fe8defc2f0a018d4a52d55ae440bf46ee72dfe3e0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1ba8305102ce7499a1b9b52fe8defc2f0a018d4a52d55ae440bf46ee72dfe3e0", kill_on_drop: false }` [INFO] [stdout] 1ba8305102ce7499a1b9b52fe8defc2f0a018d4a52d55ae440bf46ee72dfe3e0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-106/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-106/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=warn" "-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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a480502bd6389e530a592d6af7a84a9007bbd4e29573f0eaa572e8b546207553 [INFO] running `Command { std: "docker" "start" "-a" "a480502bd6389e530a592d6af7a84a9007bbd4e29573f0eaa572e8b546207553", kill_on_drop: false }` [INFO] [stderr] Compiling syn v1.0.76 [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling maplit v1.0.2 [INFO] [stderr] Compiling typenum v1.14.0 [INFO] [stderr] Compiling serde v1.0.130 [INFO] [stderr] Compiling fixedbitset v0.2.0 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling rusttyc v0.4.2 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-bigint v0.3.3 [INFO] [stderr] Compiling num-rational v0.3.2 [INFO] [stderr] Compiling num-iter v0.1.42 [INFO] [stderr] Compiling codespan-reporting v0.11.1 [INFO] [stderr] Compiling petgraph v0.5.1 [INFO] [stderr] Compiling itertools v0.10.1 [INFO] [stderr] Compiling pest v2.1.3 [INFO] [stderr] Compiling pest_meta v2.1.3 [INFO] [stderr] Compiling rtlola-reporting v0.1.1 [INFO] [stderr] Compiling num-complex v0.3.1 [INFO] [stderr] Compiling pest_generator v2.1.3 [INFO] [stderr] Compiling uom v0.31.1 [INFO] [stderr] Compiling num v0.3.1 [INFO] [stderr] Compiling pest_derive v2.1.0 [INFO] [stderr] Compiling rtlola-macros v0.1.1 [INFO] [stderr] Compiling rtlola-parser v0.1.3 [INFO] [stderr] Compiling rtlola-hir v0.1.4 (/opt/rustwide/workdir) [INFO] [stdout] warning: multiple lines skipped by escaped newline [INFO] [stdout] --> src/type_check/value_ast_climber.rs:1881:29 [INFO] [stdout] | [INFO] [stdout] 1881 | input lon: Float64\n\ [INFO] [stdout] | _____________________________^ [INFO] [stdout] 1882 | | [INFO] [stdout] 1883 | | output lon_diff: Float64 := lon - lon.offset(by: -1).defaults(to: lon)\n\ [INFO] [stdout] | |________^ skipping everything up to and including this point [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple lines skipped by escaped newline [INFO] [stdout] --> src/type_check/value_ast_climber.rs:1884:81 [INFO] [stdout] | [INFO] [stdout] 1884 | output lat_diff: Float64 := lat - lat.offset(by: -1).defaults(to: lat)\n\ [INFO] [stdout] | _________________________________________________________________________________^ [INFO] [stdout] 1885 | | [INFO] [stdout] 1886 | | output yaw: Float64 := if lon_diff = 0.0 then 0.0 else arctan(lat_diff / lon_diff)\n\ [INFO] [stdout] | |________^ skipping everything up to and including this point [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 34.09s [INFO] running `Command { std: "docker" "inspect" "a480502bd6389e530a592d6af7a84a9007bbd4e29573f0eaa572e8b546207553", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a480502bd6389e530a592d6af7a84a9007bbd4e29573f0eaa572e8b546207553", kill_on_drop: false }` [INFO] [stdout] a480502bd6389e530a592d6af7a84a9007bbd4e29573f0eaa572e8b546207553 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-106/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-106/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=warn" "-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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 988311b0717f611742340f24777b98a8a47f40d7bb24b42d66d1e88f69adb3b8 [INFO] running `Command { std: "docker" "start" "-a" "988311b0717f611742340f24777b98a8a47f40d7bb24b42d66d1e88f69adb3b8", kill_on_drop: false }` [INFO] [stderr] Compiling rtlola-hir v0.1.4 (/opt/rustwide/workdir) [INFO] [stdout] warning: multiple lines skipped by escaped newline [INFO] [stdout] --> src/type_check/value_ast_climber.rs:1881:29 [INFO] [stdout] | [INFO] [stdout] 1881 | input lon: Float64\n\ [INFO] [stdout] | _____________________________^ [INFO] [stdout] 1882 | | [INFO] [stdout] 1883 | | output lon_diff: Float64 := lon - lon.offset(by: -1).defaults(to: lon)\n\ [INFO] [stdout] | |________^ skipping everything up to and including this point [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple lines skipped by escaped newline [INFO] [stdout] --> src/type_check/value_ast_climber.rs:1884:81 [INFO] [stdout] | [INFO] [stdout] 1884 | output lat_diff: Float64 := lat - lat.offset(by: -1).defaults(to: lat)\n\ [INFO] [stdout] | _________________________________________________________________________________^ [INFO] [stdout] 1885 | | [INFO] [stdout] 1886 | | output yaw: Float64 := if lon_diff = 0.0 then 0.0 else arctan(lat_diff / lon_diff)\n\ [INFO] [stdout] | |________^ skipping everything up to and including this point [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple lines skipped by escaped newline [INFO] [stdout] --> src/type_check/value_ast_climber.rs:1881:29 [INFO] [stdout] | [INFO] [stdout] 1881 | input lon: Float64\n\ [INFO] [stdout] | _____________________________^ [INFO] [stdout] 1882 | | [INFO] [stdout] 1883 | | output lon_diff: Float64 := lon - lon.offset(by: -1).defaults(to: lon)\n\ [INFO] [stdout] | |________^ skipping everything up to and including this point [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple lines skipped by escaped newline [INFO] [stdout] --> src/type_check/value_ast_climber.rs:1884:81 [INFO] [stdout] | [INFO] [stdout] 1884 | output lat_diff: Float64 := lat - lat.offset(by: -1).defaults(to: lat)\n\ [INFO] [stdout] | _________________________________________________________________________________^ [INFO] [stdout] 1885 | | [INFO] [stdout] 1886 | | output yaw: Float64 := if lon_diff = 0.0 then 0.0 else arctan(lat_diff / lon_diff)\n\ [INFO] [stdout] | |________^ skipping everything up to and including this point [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 10.75s [INFO] running `Command { std: "docker" "inspect" "988311b0717f611742340f24777b98a8a47f40d7bb24b42d66d1e88f69adb3b8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "988311b0717f611742340f24777b98a8a47f40d7bb24b42d66d1e88f69adb3b8", kill_on_drop: false }` [INFO] [stdout] 988311b0717f611742340f24777b98a8a47f40d7bb24b42d66d1e88f69adb3b8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-106/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-106/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=warn" "-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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 0663604ddf177d8cb5c764104c7c9f6e84815281aaa127e84c7a9debaddda1f2 [INFO] running `Command { std: "docker" "start" "-a" "0663604ddf177d8cb5c764104c7c9f6e84815281aaa127e84c7a9debaddda1f2", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stdout] [INFO] [stderr] warning: multiple lines skipped by escaped newline [INFO] [stdout] running 290 tests [INFO] [stderr] --> src/type_check/value_ast_climber.rs:1881:29 [INFO] [stderr] | [INFO] [stderr] 1881 | input lon: Float64\n\ [INFO] [stderr] | _____________________________^ [INFO] [stderr] 1882 | | [INFO] [stderr] 1883 | | output lon_diff: Float64 := lon - lon.offset(by: -1).defaults(to: lon)\n\ [INFO] [stderr] | |________^ skipping everything up to and including this point [INFO] [stderr] [INFO] [stderr] warning: multiple lines skipped by escaped newline [INFO] [stderr] --> src/type_check/value_ast_climber.rs:1884:81 [INFO] [stderr] | [INFO] [stderr] 1884 | output lat_diff: Float64 := lat - lat.offset(by: -1).defaults(to: lat)\n\ [INFO] [stderr] | _________________________________________________________________________________^ [INFO] [stderr] 1885 | | [INFO] [stderr] 1886 | | output yaw: Float64 := if lon_diff = 0.0 then 0.0 else arctan(lat_diff / lon_diff)\n\ [INFO] [stderr] | |________^ skipping everything up to and including this point [INFO] [stderr] [INFO] [stderr] warning: `rtlola-hir` (lib) generated 2 warnings [INFO] [stderr] warning: `rtlola-hir` (lib test) generated 2 warnings (2 duplicates) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.46s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/rtlola_hir-80f9d7017b5d0ca3) [INFO] [stderr] error: identifier `ab` is use more than once in this paramater list [INFO] [stderr] β”Œβ”€ :1:22 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ input test(ab: Int8, ab: Int8) : Int8 [INFO] [stderr] β”‚ -- ^^ `ab` used as a parameter more than once [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ previous use of the parameter `ab` here [INFO] [stderr] [INFO] [stderr] error: `if` is a reserved keyword [INFO] [stderr] β”Œβ”€ :1:8 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output if := 3 [INFO] [stderr] β”‚ ^^ use a different name here [INFO] [stderr] [INFO] [stderr] error: identifier `ab` is use more than once in this paramater list [INFO] [stderr] β”Œβ”€ :1:23 [INFO] [stderr] β”‚ [INFO] [stderr] error: the name `test` is defined multiple times [INFO] [stderr] β”Œβ”€ :2:8 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output test: String := 3 [INFO] [stderr] β”‚ ---- previous definition of the value `test` here [INFO] [stderr] 2 β”‚ output test: String := 3 [INFO] [stderr] β”‚ ^^^^ `test` redefined here [INFO] [stderr] [INFO] [stderr] 1 β”‚ output test(ab: Int8, ab: Int8) := 3 [INFO] [stderr] β”‚ -- ^^ `ab` used as a parameter more than once [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ previous use of the parameter `ab` here [INFO] [stderr] [INFO] [stderr] error: name `self` does not exist in current scope [INFO] [stderr] β”Œβ”€ :1:9 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ trigger self[-1] [INFO] [stderr] β”‚ ^^^^ does not exist [INFO] [stderr] [INFO] [stderr] error: function name `cos()` does not exist in current scope [INFO] [stderr] β”Œβ”€ :2:22 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output o: Float64 := cos() [INFO] [stderr] β”‚ ^^^ does not exist [INFO] [stderr] [INFO] [stderr] errorerror: name `A` does not exist in current scope [INFO] [stderr] : name `b` does not exist in current scope β”Œβ”€ :1:22 [INFO] [stderr] β”‚ [INFO] [stderr]  [INFO] [stderr] error1 β”Œβ”€β”‚error: : function name `sqrt(_:)` does not exist in current scope  function name `in(_:)` does not exist in current scope:2:26 [INFO] [stderr]  [INFO] [stderr] β”‚output t [INFO] [stderr]  [INFO] [stderr] β”Œβ”€es  :2:13 [INFO] [stderr] t β”‚ [INFO] [stderr] : Int8 β”Œβ”€:2=2 β”‚ β”‚ triggoeutrA a "testp [INFO] [stderr] β”‚u msgt"  x (a, := b :1:22)errori [INFO] [stderr] n(1) [INFO] [stderr] β”‚ β”‚ [INFO] [stderr]    ^ β”‚ ^ ^ does not exist [INFO] [stderr]  [INFO] [stderr] does not exist [INFO] [stderr] [INFO] [stderr] ^ [INFO] [stderr] 1 does not exist [INFO] [stderr] [INFO] [stderr] β”‚ output x: Float32 := sqrt(2) [INFO] [stderr] error: cannot find type `E` in this scope [INFO] [stderr]  β”Œβ”€ :β”‚ : unresolved import `xzy` [INFO] [stderr] 1:27 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ o u β”Œβ”€ :1:8 [INFO] [stderr]  ^^^^ does not exist [INFO] [stderr] [INFO] [stderr] β”‚ [INFO] [stderr] tput test(ab: B, c: D): E := 3 [INFO] [stderr] β”‚ ^ not found in this scope [INFO] [stderr] [INFO] [stderr] error: cannot find type `B` in this scope [INFO] [stderr] β”Œβ”€ :1:17 [INFO] [stderr] β”‚ [INFO] [stderr] error: Only input and output names are supported in trigger messages. [INFO] [stderr] β”Œβ”€ :3:26 [INFO] [stderr] β”‚ [INFO] [stderr] 3 β”‚ trigger a "test msg" (a, b) [INFO] [stderr] β”‚ ^ Found other name here [INFO] [stderr] [INFO] [stderr] 1 β”‚ output test(ab: B, c: D): E := 3 [INFO] [stderr] β”‚ ^ not found in this scope [INFO] [stderr] [INFO] [stderr] error: cannot find type `D` in this scope [INFO] [stderr] β”Œβ”€ :1:23 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output test(ab: B, c: D): E := 3 [INFO] [stderr] β”‚ ^ not found in this scope [INFO] [stderr] [INFO] [stderr] 1 β”‚ import xzy [INFO] [stderr] β”‚ ^^^ no `xzy` in the root [INFO] [stderr] [INFO] [stderr] error: name `b` does not exist in current scope [INFO] [stderr] β”Œβ”€ :1:21 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output a spawn with b := 3 [INFO] [stderr] β”‚ ^ does not exist [INFO] [stderr] [INFO] [stderr] error: the name `off` is defined multiple times [INFO] [stderr] β”Œβ”€ :14:16 [INFO] [stderr] β”‚ [INFO] [stderr] 13 β”‚ output off := o.defaults(to:2) [INFO] [stderr] β”‚ --- previous definition of the value `off` here [INFO] [stderr] 14 β”‚ output off := o.offset(by:-1) [INFO] [stderr] β”‚ ^^^ `off` redefined here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Inferred pacing type: 1 Hz but expected: 2 Hz [INFO] [stderr] β”Œβ”€ test:4:11 [INFO] [stderr] β”‚ [INFO] [stderr] 4 β”‚ output c @2Hz := a + b [INFO] [stderr] β”‚ ^^^ ^^^^^ Inferred 1 Hz here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Expected 2 Hz here [INFO] [stderr] [INFO] [stdout] test modes::ast_conversion::naming::tests::duplicate_parameters_are_not_allowed_for_inputs ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test modes::ast_conversion::naming::tests::known_import ... ok [INFO] [stderr] Synchronous access to a parameterized stream is not allowed here. [INFO] [stdout] test modes::ast_conversion::naming::tests::keyword_are_not_valid_names ... ok [INFO] [stderr] β”Œβ”€ test:6:17 [INFO] [stdout] test modes::ast_conversion::naming::tests::duplicate_names_at_the_same_level_are_reported ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test modes::ast_conversion::naming::tests::duplicate_parameters_are_not_allowed_for_outputs ... ok [INFO] [stderr] 6 β”‚ output b filter a(x) := x [INFO] [stdout] test modes::ast_conversion::naming::tests::parametric_output ... ok [INFO] [stderr] β”‚ ^^^^ here [INFO] [stdout] test modes::ast_conversion::naming::tests::self_is_allowed_in_output_expression ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test modes::ast_conversion::naming::tests::self_not_allowed_in_trigger_expression ... ok [INFO] [stderr] = Help: Consider using a hold access [INFO] [stdout] test modes::ast_conversion::naming::tests::primitive_types_are_a_known ... ok [INFO] [stderr] [INFO] [stdout] test modes::ast_conversion::naming::tests::missing_expression ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::simple_variable_use ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::known_function_though_import ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::test_aggregate ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::test_param_use ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::test_trigger_infos ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::wrong_arity_function ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::unknown_identifiers_are_reported ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::test_trigger_infos_fail ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::test_param_spec_wrong_parameters ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::unknown_function ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::test_trigger_infos_fail2 ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::unknown_types_are_reported ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::unknown_import ... ok [INFO] [stdout] test modes::ast_conversion::tests::arith_op ... ok [INFO] [stdout] test modes::ast_conversion::naming::tests::template_spec_is_also_tested ... ok [INFO] [stdout] test modes::ast_conversion::tests::parameter_expr ... ok [INFO] [stdout] test modes::ast_conversion::tests::simple_trigger ... ok [INFO] [stdout] test modes::ast_conversion::tests::all ... ok [INFO] [stdout] test modes::ast_conversion::tests::parametrized_access ... ok [INFO] [stdout] test modes::ast_conversion::tests::functions ... ok [INFO] [stdout] test modes::ast_conversion::tests::test_ac ... ok [INFO] [stdout] test modes::ast_conversion::tests::input_trigger ... ok [INFO] [stdout] test modes::ast_conversion::tests::function_param_default ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Incompatible expressions: (z = 42) and (z = 1337) [INFO] [stderr] β”Œβ”€ test:6:45 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b(p:Int8) spawn with (z) if y filter a(z) close z=1337 := p+42 [INFO] [stderr] β”‚ ^^^^ ------ and found (z = 1337) here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Found (z = 42) here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Periodic stream out of sync with accessed stream due to a spawn annotation. [INFO] [stderr] β”Œβ”€ test:4:1 [INFO] [stderr] β”‚ [INFO] [stderr] 3 β”‚ β•­ output a @5Hz := 42 [INFO] [stderr] 4 β”‚ β•­ β”‚ output b @5Hz spawn if i := a [INFO] [stderr] β”‚ β”‚ β•°' Found target stream here [INFO] [stderr] 5 β”‚ β”‚   [INFO] [stderr] β”‚ β•°──────────^ Found accessing stream here with: spawn @i <...> if i [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Malformed activation condition: An activation condition can only contain literals and binary operators. [INFO] [stderr] β”Œβ”€ test:2:21 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output out: Int16 @!in := 5 [INFO] [stderr] β”‚ ^^^ here [INFO] [stderr] [INFO] [stdout] test modes::ast_conversion::tests::test_spawn_missing_exp ... ok [INFO] [stdout] test modes::ast_conversion::tests::test_trigger_complex ... ok [INFO] [stdout] test modes::ast_conversion::tests::test_instance ... ok [INFO] [stdout] test modes::ast_conversion::tests::test_spawn_pacing ... ok [INFO] [stdout] test modes::ast_conversion::tests::test_trigger_ac ... ok [INFO] [stdout] test modes::ast_conversion::tests::tuple ... ok [INFO] [stdout] test modes::ast_conversion::tests::transform_aggr ... ok [INFO] [stdout] test modes::ast_conversion::tests::test_trigger_info ... ok [INFO] [stdout] test modes::ast_conversion::tests::transform_default ... ok [INFO] [stdout] test modes::ast_conversion::tests::type_annotations ... ok [INFO] [stdout] test modes::dependencies::tests::linear_dependencies ... ok [INFO] [stdout] test modes::dependencies::tests::lookup_chain_with_parametrization ... ok [INFO] [stdout] test modes::dependencies::tests::close_self_loop ... ok [INFO] [stdout] test modes::ast_conversion::tests::tuple_access ... ok [INFO] [stdout] test modes::dependencies::tests::negative_loop ... ok [INFO] [stdout] test modes::dependencies::tests::delay ... ok [INFO] [stdout] test modes::dependencies::tests::filter_self_loop ... ok [INFO] [stdout] test modes::dependencies::tests::parallel_edges_in_a_loop ... ok [INFO] [stdout] test modes::ast_conversion::tests::transform_offset ... ok [INFO] [stdout] test modes::dependencies::tests::negative_and_postive_lookups_as_loop ... ok [INFO] [stdout] test modes::dependencies::tests::parameter_cross_lookup ... ok [INFO] [stdout] test modes::dependencies::tests::negative_loop_different_offsets ... ok [INFO] [stdout] test modes::dependencies::tests::parameter_loop ... ok [INFO] [stdout] test modes::dependencies::tests::parameter_loop_with_different_lookup_types ... ok [INFO] [stdout] test modes::dependencies::tests::parameter_loop_with_parameter_lookup ... ok [INFO] [stdout] test modes::dependencies::tests::parameter_loop_with_lookup_in_close ... ok [INFO] [stdout] test modes::dependencies::tests::self_loop_complex ... ok [INFO] [stdout] test modes::dependencies::tests::self_loop_simple ... ok [INFO] [stdout] test modes::dependencies::tests::sliding_window_and_positive_lookups_loop ... ok [INFO] [stdout] test modes::dependencies::tests::simple_loop ... ok [INFO] [stdout] test modes::dependencies::tests::simple_chain_with_parameter ... ok [INFO] [stdout] test modes::dependencies::tests::parameter_nested_lookup_implicit ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Parameterization needed [INFO] [stderr] β”Œβ”€ test:5:1 [INFO] [stderr] β”‚ [INFO] [stderr] 5 β”‚ output b := a(x, x) [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] β”‚ β”‚ β”‚ [INFO] [stderr] β”‚ β”‚ As of synchronous access occurring here [INFO] [stderr] β”‚ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider adding the following template annotations: [INFO] [stderr] spawn @(x ∧ y) with <...> if y [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Mixed an event and a periodic type: 1 Hz and x [INFO] [stderr] β”Œβ”€ test:3:10 [INFO] [stderr] β”‚ [INFO] [stderr] 3 β”‚ trigger @1Hz x [INFO] [stderr] β”‚ ^^^ - and found x here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Found 1 Hz here [INFO] [stderr] [INFO] [stdout] test modes::dependencies::tests::parameter_nested_lookup_explicit ... ok [INFO] [stdout] test modes::dependencies::tests::sliding_window_loop ... ok [INFO] [stdout] test modes::dependencies::tests::simple_loop_with_parameter ... ok [INFO] [stdout] test modes::dependencies::tests::self_sliding_window ... ok [INFO] [stdout] test modes::dependencies::tests::spawn_self_loop ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Mixed an event and a periodic type: a and 1 Hz [INFO] [stderr] β”Œβ”€ test:3:18 [INFO] [stderr] β”‚ [INFO] [stderr] 3 β”‚ output y:Int32 @ a := x.get().defaults(to: 0) [INFO] [stderr] β”‚ ^ ------- and found 1 Hz here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Found a here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Mixed an event and a periodic type: 1 Hz and a [INFO] [stderr] β”Œβ”€ test:3:18 [INFO] [stderr] β”‚ [INFO] [stderr] 3 β”‚ output y:Int32 @ 1Hz := x.get().defaults(to: 0) [INFO] [stderr] β”‚ ^^^ ------- and found a here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Found 1 Hz here [INFO] [stderr] [INFO] [stdout] test modes::memory_bounds::dynaminc_memory_bound_tests::discrete_window_lookup ... ok [INFO] [stdout] test modes::memory_bounds::dynaminc_memory_bound_tests::hold_lookup ... ok [INFO] [stdout] test modes::memory_bounds::dynaminc_memory_bound_tests::offset_lookup ... ok [INFO] [stdout] test modes::dependencies::tests::sliding_windows_chain_and_hold_lookup ... ok [INFO] [stdout] test modes::dependencies::tests::spawn_self_negative_loop ... ok [INFO] [stdout] test modes::memory_bounds::dynaminc_memory_bound_tests::negative_loop_different_offsets ... ok [INFO] [stdout] test modes::memory_bounds::dynaminc_memory_bound_tests::sliding_window_lookup ... ok [INFO] [stdout] test modes::memory_bounds::static_memory_bound_tests::offset_lookup ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test modes::memory_bounds::static_memory_bound_tests::discrete_window_lookup ... ok [INFO] [stderr] Found incompatible types: Option and Integer [INFO] [stderr] β”Œβ”€ test:1:1 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output c @1Hz := c.defaults(to:0) [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] β”‚ β”‚ β”‚ [INFO] [stderr] β”‚ β”‚ found Integer here [INFO] [stderr] β”‚ found Option here [INFO] [stderr] [INFO] [stdout] test modes::memory_bounds::static_memory_bound_tests::offset_lookups ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test modes::memory_bounds::static_memory_bound_tests::sliding_window_lookup ... ok [INFO] [stderr] Expected spawn arguments: (x, x) but found: (x, (x + 42))  [INFO] [stdout] test modes::memory_bounds::static_memory_bound_tests::hold_lookup ... ok [INFO] [stderr] β”Œβ”€ test:5:41 [INFO] [stdout] test modes::memory_bounds::static_memory_bound_tests::negative_loop_different_offsets ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test modes::memory_bounds::static_memory_bound_tests::synchronous_lookup ... ok [INFO] [stderr] 5 β”‚ output b(p:Int8) spawn with (x) if y := a(x, x+42) [INFO] [stdout] test modes::memory_bounds::static_memory_bound_tests::parameter_loop_with_lookup_in_close ... ok [INFO] [stderr] β”‚ ^^^^^^^^^^ here [INFO] [stdout] test modes::memory_bounds::dynaminc_memory_bound_tests::offset_lookups ... ok [INFO] [stderr] [INFO] [stdout] test modes::memory_bounds::static_memory_bound_tests::parameter_nested_lookup_explicit ... ok [INFO] [stdout] test modes::memory_bounds::dynaminc_memory_bound_tests::parameter_nested_lookup_implicit ... ok [INFO] [stdout] test modes::ordering::tests::negative_loop_different_offsets ... ok [INFO] [stdout] test modes::memory_bounds::dynaminc_memory_bound_tests::synchronous_lookup ... ok [INFO] [stdout] test modes::ordering::tests::sliding_window_lookup ... ok [INFO] [stdout] test modes::memory_bounds::dynaminc_memory_bound_tests::parameter_nested_lookup_explicit ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_annotated_freq ... ok [INFO] [stdout] test modes::ordering::tests::event_and_periodic_stream_mix ... ok [INFO] [stdout] test modes::ordering::tests::simple_chain_with_parameter ... ok [INFO] [stdout] test modes::ordering::tests::offset_lookup ... ok [INFO] [stdout] test modes::memory_bounds::static_memory_bound_tests::parameter_nested_lookup_implicit ... ok [INFO] [stdout] test modes::ordering::tests::parameter_loop_with_lookup_in_close ... ok [INFO] [stdout] test modes::ordering::tests::hold_lookup ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_1hz_meet ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_filter_simple ... ok [INFO] [stdout] test modes::ordering::tests::offset_lookups ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_filter_expr_type ... ok [INFO] [stdout] test modes::ordering::tests::negative_and_postive_lookups_as_loop ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_disjunction_annotated ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_delay ... ok [INFO] [stdout] test modes::ordering::tests::lookup_chain ... ok [INFO] [stdout] test modes::ordering::tests::discrete_window_lookup ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_filter_parameterized ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_0_1hz_meet ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_realtime_offset_not_possible ... ignored [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_realtime_offset_possible ... ignored [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Synchronous access to a parameterized stream is not allowed here. [INFO] [stderr] β”Œβ”€ test:6:29 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b(p:Int8) spawn with a(x) := x [INFO] [stderr] β”‚ ^^^^ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider using a hold access [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Mixed an event and a periodic type: 1 Hz and b [INFO] [stderr] β”Œβ”€ test:2:11 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ input b:Bool [INFO] [stderr] β”‚ ------ and found b here [INFO] [stderr] 2 β”‚ output a @1Hz filter b := 5 [INFO] [stderr] β”‚ ^^^ Found 1 Hz here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Int(8) and Int(32) [INFO] [stderr] β”Œβ”€ test:2:1 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output o: Int8 @1Hz := c [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] β”‚ β”‚ error: In pacing type analysis: [INFO] [stderr] Mixed an event and a periodic type: b and 1 Hz [INFO] [stderr] β”Œβ”€ test:3:22 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output x @1Hz := 5 [INFO] [stderr] β”‚ --- and found 1 Hz here [INFO] [stderr] 3 β”‚ ouerror: In pacing type analysis: [INFO] [stderr] Inferred pacing type: ((a ∨ b) ∧ a) but expected: (a ∨ b) [INFO] [stderr] β”Œβ”€ test:3:12 [INFO] [stderr] β”‚ [INFO] [stderr] 3 β”‚ output x @(a || b) := a [INFO] [stderr] β”‚ ^^^^^^ ^ Inferred ((a ∨ b) ∧ a) here [INFO] [stderr] β”‚ tpβ”‚ ut a filter b := x [INFO] [stderr] β”‚ error: In pacing type analysis: [INFO] [stderr] A spawn declaration is needed to initialize the parameters of the stream.  [INFO] [stderr] β”Œβ”€ test: 3 : 1 [INFO] [stderr] β”‚ [INFO] [stderr] β”‚ [INFO] [stderr] β”‚   β”‚ ^ Found b here [INFO] [stderr] 3 [INFO] [stderr]  β”‚ o [INFO] [stderr] β”‚ Expected (a ∨ b) here [INFO] [stderr] [INFO] [stderr] found Int(32) here [INFO] [stderr] β”‚ found Int(8) here [INFO] [stderr] [INFO] [stderr] utput a(p:Int8) := x [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^ here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Inferred pacing type: 1 Hz but expected: 10 Hz [INFO] [stderr] β”Œβ”€ test:2:17 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output o2: Bool@10Hz:= o1 [INFO] [stderr] β”‚ error: This function has more input type parameter then defined generic types. All unnecessary type arguments can be removed. [INFO] [stderr] β”Œβ”€ test:1:37 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ import math output c: Int32 @1Hz := max(13,42) [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_input_offset ... ok [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^ here [INFO] [stderr] [INFO] [stderr] ^^^^ ^^ Inferred 1 Hz here [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_simple_loop ... ok [INFO] [stderr] β”‚ β”‚ [INFO] [stdout] test modes::ordering::tests::lookup_chain_with_parametrization ... ok [INFO] [stderr] β”‚ Expected 10 Hz here [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_input_simple ... ok [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_filter_expr_type_fail ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_missing_spawn ... ok [INFO] [stderr] The following stream is never evaluated. [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_invalid_op_in_ac ... ok [INFO] [stderr] β”Œβ”€ test:2:1 [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_close_expr_type ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_frequency_conjunction ... ok [INFO] [stderr] 2 β”‚ output y: UInt8 := x.hold().defaults(to: 0) [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_missing_spawn ... ok [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ here [INFO] [stdout] test modes::ordering::tests::multiple_input_stream ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_trigger_annotated_fail ... ok [INFO] [stderr] = Help: Consider annotating a pacing type explicitly. [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_window ... ok [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_trigonometric ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::direct_implication ... ok [INFO] [stderr] Synchronous access to a parameterized stream is not allowed here. [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_get_not_possible ... ok [INFO] [stderr] β”Œβ”€ test:6:16 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b close a(x) := x [INFO] [stderr] β”‚ ^^^^ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider using a hold access [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Parameterization needed [INFO] [stderr] β”Œβ”€ test:5:1 [INFO] [stderr] β”‚ [INFO] [stderr] 5 β”‚ output b := a [INFO] [stderr] β”‚ ^^^^^^^^^^^^^ [INFO] [stderr] β”‚ β”‚ β”‚ [INFO] [stderr] β”‚ β”‚ As of synchronous access occurring here [INFO] [stderr] β”‚ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider adding the following template annotations: [INFO] [stderr] filter y [INFO] [stderr] [INFO] [stderr] warning: In pacing type analysis: [INFO] [stderr] Inferred complex pacing type: (x ∧ y ∧ z) [INFO] [stderr] β”Œβ”€ test:6:30 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b(p:Int8) spawn with (z) if y filter !y close z=42 := a(x) [INFO] [stderr] β”‚ ^ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider annotating the type explicitly for better readability using: @(x ∧ y ∧ z) [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: UInt(8) and Float [INFO] [stderr] β”Œβ”€ test:1:43 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ constant c: UInt8 := 2.3 output o @1Hz := c [INFO] [stderr] β”‚ ^ found UInt(8) here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] An optional type is not allowed here. [INFO] [stderr] β”Œβ”€ test:2:1 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output b := a.offset(by:-1) [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Optional type: Option found here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider using the default operator to resolve the optional. [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Int(8) and Option [INFO] [stderr] β”Œβ”€ test:1:7 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ input in: Int8 [INFO] [stderr] β”‚ ^^^^^^^^ found Int(8) here [INFO] [stderr] 2 β”‚ output out: Int8? := in [INFO] [stderr] β”‚ ----------------------- found Option here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Int(8) and Bool [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Integer and Bool [INFO] [stderr] β”Œβ”€ test:1:25 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output o: UInt8 @1Hz := if true then 1 else false [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] β”‚ β”‚ β”‚ [INFO] [stderr] β”‚ β”‚ found Bool here [INFO] [stderr] β”‚ found Integer here [INFO] [stderr] [INFO] [stderr] β”Œβ”€ test:1:7 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ input in: Int8 [INFO] [stderr] β”‚ ^^^^^^^^ found Int(8) here [INFO] [stderr] 2 β”‚ output a: Int8 @1Hz close in := 3 [INFO] [stderr] β”‚ -- found Bool here [INFO] [stderr] [INFO] [stderr] warning: In pacing type analysis: [INFO] [stderr] Inferred complex pacing type: (x ∧ y ∧ z) [INFO] [stderr] β”Œβ”€ test:6:30 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b(p:Int8) spawn with (z) if y := a(x) [INFO] [stderr] β”‚ ^ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider annotating the type explicitly for better readability using: @(x ∧ y ∧ z) [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Integer and Bool [INFO] [stderr] β”Œβ”€ test:1:24 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output o: Bool @1Hz:= !3 [INFO] [stderr] β”‚ ^ found Integer here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: UInt(8) and Float(64) [INFO] [stderr] β”Œβ”€ test:1:7 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ input a: UInt8 [INFO] [stderr] β”‚ ^^^^^^^^ found UInt(8) here [INFO] [stderr] 2 β”‚ output b: Float64 := a [INFO] [stderr] β”‚ ---------------------- found Float(64) here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Bool and Integer [INFO] [stderr] β”Œβ”€ test:1:9 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ trigger 1 [INFO] [stderr] β”‚ ^ found Bool here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Frequency annotation needed. [INFO] [stderr] β”Œβ”€ test:2:2 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output out: Int16 := in.aggregate(over: 3s, using: Ξ£) [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Parameterization needed [INFO] [stderr] β”Œβ”€ test:6:1 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b := a(x) [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^ [INFO] [stderr] β”‚ β”‚ β”‚ [INFO] [stderr] β”‚ β”‚ As of synchronous access occurring here [INFO] [stderr] β”‚ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider adding the following template annotations: [INFO] [stderr] spawn @(x ∧ y) with <...> if y [INFO] [stderr] filter !y [INFO] [stderr] close (z = 42) [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Mixed an event and a periodic type: 1 Hz and x [INFO] [stderr] β”Œβ”€ test:3:33 [INFO] [stderr] β”‚ [INFO] [stderr] 3 β”‚ output a (p1: Int8) @1Hz spawn @1Hz with (x) if y := 5 [INFO] [stderr] β”‚ ^^^ - and found x here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Found 1 Hz here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Tried to merge Tuples of different sizes 2 and 3 [INFO] [stderr] β”Œβ”€ test:1:60 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output x(a: UInt8, b: Bool, c:String) @1Hz spawn @1Hz with (5, true) := a [INFO] [stderr] β”‚ ^^^^^^^^^ found Tuple of size 2 here [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_output_simple ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test modes::ordering::tests::synchronous_lookup ... ok [INFO] [stderr] Synchronous access to a parameterized stream is not allowed here. [INFO] [stdout] test modes::ordering::tests::sliding_windows_chain_and_hold_lookup ... ok [INFO] [stderr] β”Œβ”€ test:6:54 [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::infinite_recursion_regression ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_aggregation_implicit_cast ... ignored [INFO] [stderr] 6 β”‚ output b(p:Int8) spawn with (z) if y filter !y close a(x) := p+42 [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_aggregation_implicit_cast2 ... ignored [INFO] [stderr] β”‚ ^^^^ here [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_casting_implicit_types ... ignored [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_wrong_args2 ... ok [INFO] [stderr] = Help: Consider using a hold access [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_spawn_target_parameterized ... ok [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_filter_fail ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_spawn_unless ... ok [INFO] [stderr] Parameterization needed [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_frequency_simple ... ok [INFO] [stderr] β”Œβ”€ test:5:1 [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_filter_fail2 ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_no_direct_access_possible ... ok [INFO] [stderr] 5 β”‚ output b := a [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_invalid_conversion ... ok [INFO] [stderr] β”‚ ^^^^^^^^^^^^^ [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_parameter_no_spawn ... ok [INFO] [stderr] β”‚ β”‚ β”‚ [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::function_to_many_type_args ... ok [INFO] [stderr] β”‚ β”‚ As of synchronous access occurring here [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_trigger_message ... ok [INFO] [stderr] β”‚ here [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_close_simple ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_input_offset ... ignored [INFO] [stderr] = Help: Consider adding the following template annotations: [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_timed_incompatible ... ok [INFO] [stderr] close y [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sample_and_hold_sync ... ok [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_spawn_simple ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_close_parameterized ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::direct_widening ... ok [INFO] [stderr] Found incompatible types: Int(8) and UInt(8) [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_filter_fail ... ok [INFO] [stderr] β”Œβ”€ test:1:7 [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_complex ... ok [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ input i: Int8 [INFO] [stderr] β”‚ ^^^^^^^ found Int(8) here [INFO] [stderr] 2 β”‚ input j: UInt8 [INFO] [stderr] β”‚ -------- found UInt(8) here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: UInt(8) and Bool [INFO] [stderr] β”Œβ”€ test:1:1 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ β•­ output a: UInt8 @1Hz:= 3 [INFO] [stderr] 2 β”‚ β”‚  output b: Bool := a[-1].defaults(to: false) [INFO] [stderr] β”‚ β”‚ ------------------------- found Bool here [INFO] [stderr] β”‚ β•°─^ found UInt(8) here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_incorrect_float ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Invalid application of the widen operator. [INFO] [stderr] Target width is 16 but supplied width is 32. [INFO] [stderr] β”Œβ”€ test:2:33 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output b: Int16 := widen(a) [INFO] [stderr] β”‚ -------------^- [INFO] [stderr] β”‚ β”‚ β”‚ [INFO] [stderr] β”‚ β”‚ Inferred type Int32 here [INFO] [stderr] β”‚ Widen with traget Int16 is found here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_input ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_binary_input ... ok [INFO] [stderr] Incompatible expressions: z and y [INFO] [stderr] β”Œβ”€ test:6:17 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b filter z := a [INFO] [stderr] β”‚ ^ - and found y here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Found z here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_no_optional_stream ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_input_lookup ... ok [INFO] [stderr] Inferred pacing type: (x ∧ y ∧ z) but expected: (y ∧ z) [INFO] [stderr] β”Œβ”€ test:6:26 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b(p:Int8) spawn @(z&y) with (z) if y := a(x, x) [INFO] [stderr] β”‚ ^^^ ^ Inferred (x ∧ y ∧ z) here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Expected (y ∧ z) here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Inferred pacing type: 1 Hz but expected: 2 Hz [INFO] [stderr] β”Œβ”€ test:2:11 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output b @2Hz := b[-1].defaults(to: 0) + a[-1].defaults(to: 0) [INFO] [stderr] β”‚ ^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Inferred 1 Hz here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Expected 2 Hz here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_optional_type_faulty ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_const_int ... ok [INFO] [stderr] Invalid application of the widen operator. [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_trigger_annotated ... ok [INFO] [stderr] Target width is 8 but supplied width is 32. [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_ite_arms_incompatible ... ok [INFO] [stderr] β”Œβ”€ test:2:36 [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_close_type_faulty ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_simple ... ok [INFO] [stderr] 2 β”‚ output o: Int8 @1Hz := widen(c) [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_unary_faulty ... ok [INFO] [stderr] β”‚ ------------^- [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_filter ... ok [INFO] [stderr] β”‚ β”‚ β”‚ [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_const_float16 ... ok [INFO] [stderr] β”‚ β”‚ Inferred type Int32 here [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_input_lookup_faulty ... ok [INFO] [stderr] β”‚ Widen with traget Int8 is found here [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_tuple_access ... ok [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::faulty_trigger ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_unary ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_binary ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_window_untimed ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_generics ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Mixed an event and a periodic type: x and 1 Hz [INFO] [stderr] β”Œβ”€ test:3:38 [INFO] [stderr] β”‚ [INFO] [stderr] 3 β”‚ output a (p1: Int8) @1Hz spawn with (x) if y := 5 [INFO] [stderr] β”‚ ^ - and found 1 Hz here [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_complex_fail ... ok [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Found x here [INFO] [stderr] [INFO] [stdout] test modes::memory_bounds::dynaminc_memory_bound_tests::parameter_loop_with_lookup_in_close ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Malformed activation condition: An activation condition can only refer to input streams [INFO] [stderr] β”Œβ”€ test:5:12 [INFO] [stderr] β”‚ [INFO] [stderr] 5 β”‚ output y @(x & c) := a + b + c [INFO] [stderr] β”‚ ^ here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Child at index 2 does not exists in type 2Tuple [INFO] [stderr] β”Œβ”€ test:2:21 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output out: Bool := in.2 [INFO] [stderr] β”‚ ^^ here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] The following stream is never evaluated. [INFO] [stderr] β”Œβ”€ test:1:1 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output b := b.offset(by: -1).defaults(to: 0) + 1 [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider annotating a pacing type explicitly. [INFO] [stderr] [INFO] [stdout] test modes::ordering::tests::parameter_nested_lookup_explicit ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_spawn_annotated_fail2 ... ok [INFO] [stderr] Incompatible expressions: y and z [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_valid_coersion ... ok [INFO] [stderr] β”Œβ”€ test:6:21 [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_involved ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_close_self ... ok [INFO] [stderr] 6 β”‚ output b close z := a [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::parametric_declaration_param_two_few ... ok [INFO] [stderr] β”‚ - ^ Found y here [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_close_expr_type_fail ... ok [INFO] [stderr] β”‚ β”‚ [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_close_fail ... ok [INFO] [stderr] β”‚ and found z here [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_trigger_simple ... ok [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_rt_offset ... ignored [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_rt_offset_regression ... ignored [INFO] [stderr] Found incompatible types: Int(8) and Bool [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_rt_offset_regression2 ... ignored [INFO] [stderr] β”Œβ”€ test:1:7 [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_rt_offset_skip ... ignored [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_rt_offset_skip2 ... ignored [INFO] [stderr] 1 β”‚ input in: Int8 [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_filter_type ... ok [INFO] [stderr] β”‚ ^^^^^^^^ found Int(8) here [INFO] [stdout] test type_check::rtltc::tests::type_table_creation ... ok [INFO] [stderr] 2 β”‚ output a: Int8 filter in := 3 [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_param_inferred_conflicting ... ok [INFO] [stderr] β”‚ -- found Bool here [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_stream_lookup_dft_fault ... ok [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_error_faulty_widen ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_stream_lookup_dft ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_timed_faster ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_filter_fail2 ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_close ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_wrong_pacing ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_realtime_stream_integer_offset_incompatible ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_invalid_widening ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_matches ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_casting_explicit_types ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_spawn_fail ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_sqrt ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sample_and_hold_useful ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Integer and Float [INFO] [stderr] β”Œβ”€ test:2:28 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output out: UInt8 @5Hz := in.aggregate(over_exactly: 3s, using: integral).defaults(to: 5) [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_tuple ... ok [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ found Integer here [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_spawn_simple3 ... ok [INFO] [stderr] [INFO] [stdout] test modes::ordering::tests::parameter_nested_lookup_implicit ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_timed ... ok [INFO] [stderr] Found incompatible types: Int(8) and Bool [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_timed_binary ... ok [INFO] [stderr] β”Œβ”€ test:1:43 [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_aggregation_implicit_cast3 ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_tuple_access_faulty_len ... ok [INFO] [stderr] 1 β”‚ constant c: Int8 := true output o @1Hz := c [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_realtime_stream_integer_offset ... ok [INFO] [stderr] β”‚ ^ found Int(8) here [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_counter ... ok [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_close_fail2 ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_filter_type_faulty ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_realtime_stream_integer_offset_faster ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_tuple_of_tuples3 ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: UInt(8) and Float(64) [INFO] [stderr] β”Œβ”€ test:1:7 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ input a: UInt8 [INFO] [stderr] β”‚ ^^^^^^^^ found UInt(8) here [INFO] [stderr] 2 β”‚ output b: Float64 := a [INFO] [stderr] β”‚ ---------------------- found Float(64) here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Integer and Float [INFO] [stderr] β”Œβ”€ test:2:27 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output out: Int8 @5Hz := in.aggregate(over_exactly: 3s, using: integral).defaults(to: 5) [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ found Integer here [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_output_in_ac ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Inferred pacing type: (x ∧ y) but expected: x [INFO] [stderr] β”Œβ”€ test:3:33 [INFO] [stderr] β”‚ [INFO] [stderr] 3 β”‚ output a (p1: Int8) @1Hz spawn @x with (x) if y := 5 [INFO] [stderr] β”‚ ^ ^ Inferred (x ∧ y) here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Expected x here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Expected spawn arguments: (x) but found: ((x + 5))  [INFO] [stderr] β”Œβ”€ test:4:41 [INFO] [stderr] β”‚ [INFO] [stderr] 4 β”‚ output b(p:Int8) spawn with (x) if y := a(x+5) [INFO] [stderr] β”‚ ^^^^^^ here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Synchronous access to a parameterized stream is not allowed here. [INFO] [stderr] β”Œβ”€ test:6:9 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ trigger a(x) [INFO] [stderr] β”‚ ^^^^ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider using a hold access [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::parametric_declaration_param_infer ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_spawn_simple2 ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: UInt(8) and Int [INFO] [stderr] β”Œβ”€ test:1:42 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ constant c: UInt8 := -2 output o @1Hz := c [INFO] [stderr] β”‚ ^ found UInt(8) here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_simple_annotated ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_const_faulty ... ok [INFO] [stderr] Found incompatible types: Option and AnyTuple [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_trigger ... ok [INFO] [stderr] β”Œβ”€ test:2:20 [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_stream_lookup_faulty ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_const_float ... ok [INFO] [stderr] 2 β”‚ output out @1Hz := x.hold().0 [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_spawn_annotated_fail1 ... ok [INFO] [stderr] β”‚ ^^^^^^^^ found Option here [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_filter_expr_type2 ... ok [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Integer and Bool [INFO] [stderr] β”Œβ”€ test:1:39 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output out: (Int8, Bool) @1Hz := (14, 3) [INFO] [stderr] β”‚ ^ found Integer here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_max ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_trigger_parameterized ... ok [INFO] [stderr] Found incompatible types: Int(8) and Bool [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_underspecified_type ... ok [INFO] [stderr] β”Œβ”€ test:1:10 [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sample_and_hold_noop ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_stream_lookup ... ok [INFO] [stderr] 1 β”‚ output a(p1: Int8): Int8 @1Hz spawn @1Hz with false := 3 [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_wrong_args ... ok [INFO] [stderr] β”‚ ^^^^^^^^ ----- found Bool here [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_signedness ... ok [INFO] [stderr] β”‚ β”‚ [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_close_type ... ok [INFO] [stderr] β”‚ found Int(8) here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_faulty_option_access ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Bool and Int(8) [INFO] [stderr] β”Œβ”€ test:2:2 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ input in: Int8 [INFO] [stderr] β”‚ -------- found Int(8) here [INFO] [stderr] 2 β”‚ output out: Bool @5Hz := in.aggregate(over: 3s, using: Ξ£) [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ found Bool here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_window ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Bool and Numeric [INFO] [stderr] β”Œβ”€ test:1:27 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output o: Float32 @1Hz := false + 2.5 [INFO] [stderr] β”‚ ^^^^^ found Bool here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Bool and Integer [INFO] [stderr] β”Œβ”€ test:1:28 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output o: UInt8 @1Hz := if 3 then 1 else 1 [INFO] [stderr] β”‚ ^ found Bool here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Bool and Int(8) [INFO] [stderr] β”Œβ”€ test:2:1 [INFO] [stderr] β”‚ [INFO] [stderr] 2 β”‚ output out: Bool := in[0].0 [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^^^ found Bool here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_param_inferred ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_tuple_faulty ... ok [INFO] [stderr] Found incompatible types: Int(8) and Int(32) [INFO] [stderr] β”Œβ”€ test:1:1 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ output c: Int8 @1Hz := widen(42) [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] β”‚ β”‚ β”‚ [INFO] [stderr] β”‚ β”‚ found Int(32) here [INFO] [stderr] β”‚ found Int(8) here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Int(8) and UInt(8) [INFO] [stderr] β”Œβ”€ test:1:1 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ β•­ output a(p1: Int8): Int8 @1Hz spawn @1Hz with 42 := 3 [INFO] [stderr] 2 β”‚ β”‚  output b: UInt8 @1Hz := a(3).hold().defaults(to:3) [INFO] [stderr] β”‚ β”‚ -------------------------------------------------- found UInt(8) here [INFO] [stderr] β”‚ β•°─^ found Int(8) here [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_spawn_annotated ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::parametric_declaration_param_infer2 ... ok [INFO] [stderr] Found incompatible types: UInt(8) and UInt(16) [INFO] [stderr] β”Œβ”€ test:1:7 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ input a: UInt8 [INFO] [stderr] β”‚ ^^^^^^^^ found UInt(8) here [INFO] [stderr] 2 β”‚ output b: UInt16 := if true then a else a[-1].defaults(to: 0) [INFO] [stderr] β”‚ ------------------------------------------------------------- found UInt(16) here [INFO] [stderr] [INFO] [stderr] error: In pacing type analysis: [INFO] [stderr] Incompatible expressions: !y and y [INFO] [stderr] β”Œβ”€ test:5:36 [INFO] [stderr] β”‚ [INFO] [stderr] 5 β”‚ output b(p:Int8) spawn with (x) if !y := a(x, x) [INFO] [stderr] β”‚ ^^ ------- and found y here [INFO] [stderr] β”‚ β”‚ [INFO] [stderr] β”‚ Found !y here [INFO] [stderr] [INFO] [stderr] error: In value type analysis: [INFO] [stderr] Found incompatible types: Float and Integer [INFO] [stderr] β”Œβ”€ test:1:48 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ import math output c @1Hz := sqrt(13.37) + cos(13) [INFO] [stderr] β”‚ -- found Integer here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_param_spec_faulty ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_window_faulty ... ok [INFO] [stderr] Found incompatible types: UInt(8) and UInt(16) [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_aggregation_integer_integral ... ok [INFO] [stderr] β”Œβ”€ test:1:1 [INFO] [stderr] β”‚ [INFO] [stderr] 1 β”‚ β•­ output a: UInt8 @1Hz := 5 [INFO] [stderr] 2 β”‚ β”‚ output b: UInt16 := if true then a else a[-1].defaults(to: 0) [INFO] [stderr] β”‚ β”‚ ------------------------------------------------------------- found UInt(16) here [INFO] [stderr] β”‚ β•°^ found UInt(8) here [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_binary_faulty ... ok [INFO] [stderr] error: In value type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_ite_condition_faulty ... ok [INFO] [stderr] Tried to merge Tuples of different sizes 3 and 2 [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_optional_type ... ok [INFO] [stderr] β”Œβ”€ test:1:50 [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_realtime_stream_integer_offset_sample_and_hold ... ok [INFO] [stderr] β”‚ [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_tuple_access_faulty_type ... ok [INFO] [stderr] 1 β”‚ output x(a: UInt8, b: Bool) @1Hz spawn @1Hz with (5, true, false) := a [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_sample_and_hold_useful ... ok [INFO] [stderr] β”‚ ^^^^^^^^^^^^^^^^ found Tuple of size 3 here [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_stdlib_function ... ok [INFO] [stderr] [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_simple_annotated2 ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_ite_compare ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_lookup_incomp ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_tuple_access ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_normalization_event_streams ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_ite ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_sample_and_hold_noop ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_tuple ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_error_msg_bounds ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_param_spec ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::integer_addition_wideing ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::parametric_declaration_x ... ok [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_sync_access_wrong_condition ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::math_function_wrong_arg_type ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_tuple_of_tuples ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_tuple_of_tuples2 ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::underspecified_ite_type ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::simple_explicit_widening ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_offset_regression ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_window_widening ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_error_msg_bounds2 ... ok [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_parenthesized_expr ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_complex_spec ... ok [INFO] [stderr] Synchronous access to a parameterized stream is not allowed here. [INFO] [stderr] β”Œβ”€ test:6:34 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b(p:Int8) spawn with z if a(x) := x [INFO] [stderr] β”‚ ^^^^ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider using a hold access [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_parametric_hold_access ... ok [INFO] [stderr] warning: In pacing type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::parametric_declaration_param_two_many ... ok [INFO] [stderr] Inferred complex pacing type: (x ∧ y ∧ z) [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::parametric_access_default ... ok [INFO] [stderr] β”Œβ”€ test:6:30 [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b(p:Int8) spawn with (z) if y filter !y close z=42 := a(x).offset(by: -1).defaults(to: 0) [INFO] [stderr] β”‚ ^ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider annotating the type explicitly for better readability using: @(x ∧ y ∧ z) [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_spawn_condition_parameterized ... ok [INFO] [stderr] warning: In pacing type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_boolean_operator ... ok [INFO] [stderr] Inferred complex pacing type: (x ∧ y ∧ z) [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_involved ... ok [INFO] [stderr] β”Œβ”€ test:6:30 [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_parametric_offset_access ... ok [INFO] [stderr] β”‚ [INFO] [stderr] 6 β”‚ output b(p:Int8) spawn with (z) if y filter !y close z=42 := a(x) [INFO] [stderr] β”‚ ^ here [INFO] [stderr] β”‚ [INFO] [stderr] = Help: Consider annotating the type explicitly for better readability using: @(x ∧ y ∧ z) [INFO] [stderr] [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_parametric_addition ... ok [INFO] [stderr] error: In pacing type analysis: [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::parametric_declaration ... ok [INFO] [stderr] Incompatible expressions: (z = 42) and (z = 1337) [INFO] [stdout] test type_check::pacing_ast_climber::tests::test_parametric_addition_fail ... ok [INFO] [stderr] β”Œβ”€ test:7:54 [INFO] [stdout] test type_check::value_ast_climber::value_type_tests::test_tuple_of_tuples4 ... ok [INFO] [stderr] β”‚ [INFO] [stdout] [INFO] [stderr] 6 β”‚ output b(p:Int8) spawn with (z) if y filter !y close z=1337 := p+42 [INFO] [stdout] test result: ok. 279 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out; finished in 1.22s [INFO] [stderr] β”‚ ------ and found (z = 1337) here [INFO] [stdout] [INFO] [stderr] 7 β”‚ output c spawn @(x&y&z) if y filter !y close z=42 := a(x) + b(z) [INFO] [stderr] β”‚ ^^^^^^^^^^^ Found (z = 42) here [INFO] [stderr] [INFO] [stderr] Doc-tests rtlola-hir [INFO] [stderr] warning: multiple lines skipped by escaped newline [INFO] [stderr] --> /opt/rustwide/workdir/src/type_check/value_ast_climber.rs:1881:29 [INFO] [stderr] | [INFO] [stderr] 1881 | input lon: Float64\n\ [INFO] [stderr] | _____________________________^ [INFO] [stderr] 1882 | | [INFO] [stderr] 1883 | | output lon_diff: Float64 := lon - lon.offset(by: -1).defaults(to: lon)\n\ [INFO] [stderr] | |________^ skipping everything up to and including this point [INFO] [stderr] [INFO] [stderr] warning: multiple lines skipped by escaped newline [INFO] [stderr] --> /opt/rustwide/workdir/src/type_check/value_ast_climber.rs:1884:81 [INFO] [stderr] | [INFO] [stderr] 1884 | output lat_diff: Float64 := lat - lat.offset(by: -1).defaults(to: lat)\n\ [INFO] [stderr] | _________________________________________________________________________________^ [INFO] [stderr] 1885 | | [INFO] [stderr] 1886 | | output yaw: Float64 := if lon_diff = 0.0 then 0.0 else arctan(lat_diff / lon_diff)\n\ [INFO] [stderr] | |________^ skipping everything up to and including this point [INFO] [stderr] [INFO] [stderr] warning: 2 warnings emitted [INFO] [stderr] [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" "0663604ddf177d8cb5c764104c7c9f6e84815281aaa127e84c7a9debaddda1f2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0663604ddf177d8cb5c764104c7c9f6e84815281aaa127e84c7a9debaddda1f2", kill_on_drop: false }` [INFO] [stdout] 0663604ddf177d8cb5c764104c7c9f6e84815281aaa127e84c7a9debaddda1f2