Ecdar / Ecdar/Reveaal

XML parser does not parse edge IDs

Open
#142 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Rust
Stars
4
Forks
6
PR merge metrics
No merged PRs in 30d

Description

Projects loaded with XML are currently given "NotImplemented" as value for their edge ID

Does not cause issues right now because the edge IDs are only used for communication with GUI, and i believe most things currently happen through the JSON parser, although ofcourse can cause issues if XML is going to be wider used.

Contributor guide

No contributing guide indexed for this repository

Research direction

Inspect the XML parser and compare its edge handling with the JSON parser, focusing on where loaded edge IDs become "NotImplemented". Confirm the fix by loading an XML project and verifying that its edges retain their IDs instead of the placeholder value.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
backend
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.