-
Notifications
You must be signed in to change notification settings - Fork 51
Refactor metadata & witness writer(s) #452
Copy link
Copy link
Open
Labels
xcfaIssue is XCFA specific (not core or XSTS or other formalisms)Issue is XCFA specific (not core or XSTS or other formalisms)
Description
- Metadata could only exist in labels, which would help with the robustness of the current setup a lot
- The code of YamlWitnessWriter (and the graphml one) is getting a bit out of hand with all the patching, it's time to refactor
This might also be related to #414 .
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
xcfaIssue is XCFA specific (not core or XSTS or other formalisms)Issue is XCFA specific (not core or XSTS or other formalisms)