Skip to content
Run Tests

Diabled CR for reachability queries. To avoid test issues in two cases #116

Sign in to view logs

Diabled CR for reachability queries. To avoid test issues in two cases

Diabled CR for reachability queries. To avoid test issues in two cases #116

Triggered via push November 27, 2023 09:28
@SilverBrotherSilverBrother
pushed 08bc6e0
Active_passive_clock_reduction-6
Status Failure
Total duration 1m 39s
Artifacts –

run_tests.yaml

on: push
Tests Ubuntu
1m 27s
Tests Ubuntu
Fit to window
Zoom out
Zoom in

Annotations

1 error and 10 warnings
Tests Ubuntu
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
Tests Ubuntu: src/model_objects/component.rs#L15
unused import: `crate::data_reader::parse_edge::Update`
Tests Ubuntu: src/tests/refinement/helper.rs#L7
unused import: `crate::parse_queries::Rule::reachability`
Tests Ubuntu: src/system/extract_system_rep.rs#L54
variable does not need to be mutable
Tests Ubuntu: src/system/extract_system_rep.rs#L56
variable does not need to be mutable
Tests Ubuntu: src/system/extract_system_rep.rs#L96
variable does not need to be mutable
Tests Ubuntu: src/system/extract_system_rep.rs#L109
variable does not need to be mutable
Tests Ubuntu: src/system/extract_system_rep.rs#L122
variable does not need to be mutable
Tests Ubuntu: src/system/extract_system_rep.rs#L133
variable does not need to be mutable
Tests Ubuntu: src/model_objects/component.rs#L378
method `remove_clock` is never used
Tests Ubuntu: src/system/extract_system_rep.rs#L215
methods `reduce_clocks`, `get_components_mut`, and `change_quotient` are never used