Hi,
I used spar cli to instantiate an AADL model composed of several file with an extended system implementation (zip joined, files in lowercase see #235).
Running: spar instance --root dataflow_diag::dataflow.diagram dataflow.aadl dataflow_diagram.aadl hw.aadl fails with:
thread 'main' (3859280) panicked at crates/spar-hir-def/src/instance.rs:2196:42:
index out of bounds: the len is 0 but the index is 0
I checked instance.rs:2196 it searches for subcomponents in the extended system and doesn't find them. I assume it's a bug.
Here are the files.
dataflow.zip
I can provide smaller test files is necessary.
Hi,
I used
sparcli to instantiate an AADL model composed of several file with an extended system implementation (zip joined, files in lowercase see #235).Running:
spar instance --root dataflow_diag::dataflow.diagram dataflow.aadl dataflow_diagram.aadl hw.aadlfails with:I checked
instance.rs:2196it searches forsubcomponentsin the extended system and doesn't find them. I assume it's a bug.Here are the files.
dataflow.zip
I can provide smaller test files is necessary.