The process '/home/runner/.cargo/bin/cargo' failed with exit code 1

error[E0425]: cannot find function `clock_reduce` in module `clock_reduction` --> src/tests/clock_reduction/advanced_clock_removal_test.rs:22:26 | 22 | clock_reduction::clock_reduce(&mut system_recipe_copy, None, &mut dimensions, None) | ^^^^^^^^^^^^ not found in `clock_reduction` | help: consider importing this function | 6 + use crate::transition_systems::clock_reduction::reduction::clock_reduce; | help: if you import `clock_reduce`, refer to it directly | 22 - clock_reduction::clock_reduce(&mut system_recipe_copy, None, &mut dimensions, None) 22 + clock_reduce(&mut system_recipe_copy, None, &mut dimensions, None) |

error[E0425]: cannot find function `clock_reduce` in module `clock_reduction` --> src/tests/clock_reduction/clock_removal_test.rs:95:26 | 95 | clock_reduction::clock_reduce(&mut Box::from(recipe), None, &mut dim, None).unwrap(); | ^^^^^^^^^^^^ not found in `clock_reduction` | help: consider importing this function | 3 + use crate::transition_systems::clock_reduction::reduction::clock_reduce; | help: if you import `clock_reduce`, refer to it directly | 95 - clock_reduction::clock_reduce(&mut Box::from(recipe), None, &mut dim, None).unwrap(); 95 + clock_reduce(&mut Box::from(recipe), None, &mut dim, None).unwrap(); |

error[E0425]: cannot find function `clock_reduce` in module `clock_reduction` --> src/tests/clock_reduction/clock_removal_test.rs:124:26 | 124 | clock_reduction::clock_reduce(&mut Box::from(l), Some(&mut Box::from(r)), &mut dim, None) | ^^^^^^^^^^^^ not found in `clock_reduction` | help: consider importing this function | 3 + use crate::transition_systems::clock_reduction::reduction::clock_reduce; | help: if you import `clock_reduce`, refer to it directly | 124 - clock_reduction::clock_reduce(&mut Box::from(l), Some(&mut Box::from(r)), &mut dim, None) 124 + clock_reduce(&mut Box::from(l), Some(&mut Box::from(r)), &mut dim, None) |

error[E0599]: no method named `remove_clock` found for struct `model_objects::component::Component` in the current scope --> src/tests/clock_reduction/clock_removal_test.rs:26:19 | 26 | component.remove_clock(clock_index); | ^^^^^^^^^^^^ method not found in `Component` | ::: src/model_objects/component.rs:15:1 | 15 | pub struct Component { | -------------------- method `remove_clock` not found for this struct

error[E0599]: no method named `replace_clock` found for struct `model_objects::component::Component` in the current scope --> src/tests/clock_reduction/clock_removal_test.rs:66:19 | 66 | component.replace_clock(*clock_1_index, &duplicate_clocks_index); | ^^^^^^^^^^^^^ method not found in `Component` | ::: src/model_objects/component.rs:15:1 | 15 | pub struct Component { | -------------------- method `replace_clock` not found for this struct

error: this looks like a failed attempt at checking for the file extension --> src/data_reader/xml_parser.rs:17:5 | 17 | project_path.as_ref().ends_with(".xml") | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `project_path.as_ref().extension().is_some_and(|ext| ext == "xml")` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#path_ends_with_ext = note: `-D clippy::path-ends-with-ext` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::path_ends_with_ext)]`

error: writing `&Vec` instead of `&[_]` involves a new object where a slice will do --> src/model_objects/declarations.rs:46:59 | 46 | pub fn remove_clocks(&mut self, clocks_to_be_removed: &Vec<ClockIndex>) { | ^^^^^^^^^^^^^^^^ help: change this to: `&[ClockIndex]` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#ptr_arg = note: `-D clippy::ptr-arg` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::ptr_arg)]`

error: this expression creates a reference which is immediately dereferenced by the compiler --> src/transition_systems/clock_reduction/clock_analysis_graph.rs:45:51 | 45 | .filter(|clock| !used_clocks.contains(&clock)) | ^^^^^^ help: change this to: `clock` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow = note: `-D clippy::needless-borrow` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::needless_borrow)]`

error: length comparison to zero --> src/transition_systems/clock_reduction/clock_removal.rs:45:8 | 45 | if new_constraints.len() == 0 { | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: using `is_empty` is clearer and more explicit: `new_constraints.is_empty()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero = note: `-D clippy::len-zero` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::len_zero)]`

error: unneeded `return` statement --> src/transition_systems/clock_reduction/clock_removal.rs:108:5 | 108 | / return Some(create_constraint( 109 | | constraint.i, 110 | | constraint.j, 111 | | constraint.ineq(), 112 | | *remove_clock, 113 | | )); | |______^ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return = note: `-D clippy::needless-return` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::needless_return)]` help: remove `return` | 108 ~ Some(create_constraint( 109 + constraint.i, 110 + constraint.j, 111 + constraint.ineq(), 112 + *remove_clock, 113 ~ )) |

Diff in /home/runner/work/Reveaal/Reveaal/src/transition_systems/clock_reduction/clock_analysis_graph.rs

Diff in /home/runner/work/Reveaal/Reveaal/src/transition_systems/clock_reduction/clock_analysis_graph.rs

Diff in /home/runner/work/Reveaal/Reveaal/src/transition_systems/clock_reduction/clock_analysis_graph.rs

Diff in /home/runner/work/Reveaal/Reveaal/src/transition_systems/clock_reduction/clock_analysis_graph.rs

Diff in /home/runner/work/Reveaal/Reveaal/src/transition_systems/clock_reduction/clock_reduction_instruction.rs

Diff in /home/runner/work/Reveaal/Reveaal/src/transition_systems/clock_reduction/clock_reduction_instruction.rs

Diff in /home/runner/work/Reveaal/Reveaal/src/transition_systems/clock_reduction/mod.rs