search

DataFlowAnalysis / DataFlowAnalysis

Eclipse Public License 2.0
6 stars 1 forks source link

Improper filtering for PCM Vertices in Branches #177

Open Entenwilli opened 1 month ago

Entenwilli commented 1 month ago

Data flow variables are improperly filtered in PCM Vertices in Branches. Start Nodes in Branches should only forward, instead of filtering on parameters.

The OCL Editor is also broken when using some variable names

Entenwilli commented 1 month ago

I just realized, this is a bug that may impact the correctness of results from the CWA and other case studies, if i'm not mistaken, @sebinside @Nicolas-Boltz @uuqjz.

Should I prioritize this smaller fix?

Nicolas-Boltz commented 1 month ago

You mean the first part, without the OCL Editor? If so, I think it would be a good idea to fix such a fundamental flaw immediately. @sebinside you see anything more important to do first?

sebinside commented 1 month ago

I aggree!

Entenwilli commented 1 month ago

The improper filtering is addressed in #187. The OCL issue is probably caused by this