Test templates and a new sample added. First new test done. #120
Annotations
1 error and 10 warnings
|
|
|
src/model_objects/component.rs#L15
unused import: `crate::data_reader::parse_edge::Update`
|
|
src/tests/refinement/helper.rs#L7
unused import: `crate::parse_queries::Rule::reachability`
|
|
src/system/extract_system_rep.rs#L54
variable does not need to be mutable
|
|
src/system/extract_system_rep.rs#L56
variable does not need to be mutable
|
|
src/system/extract_system_rep.rs#L96
variable does not need to be mutable
|
|
src/system/extract_system_rep.rs#L109
variable does not need to be mutable
|
|
src/system/extract_system_rep.rs#L122
variable does not need to be mutable
|
|
src/system/extract_system_rep.rs#L133
variable does not need to be mutable
|
|
src/model_objects/component.rs#L378
method `remove_clock` is never used
|
|
src/system/extract_system_rep.rs#L215
methods `reduce_clocks`, `get_components_mut`, and `change_quotient` are never used
|
The logs for this run have expired and are no longer available.
Loading