Run Tests

Merge remote-tracking branch 'origin/Active_passive_clock_reduction-6… #122

Sign in to view logs

Summary
Jobs
- Tests Ubuntu
Run details
- Usage
- Workflow file

Triggered via push November 28, 2023 13:09

Active_passive_clock_reduction-6

Status Failure

Total duration 1m 24s

Artifacts –

run_tests.yaml

on: push

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