You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The folder PhasarLLVM has grown too large over the recent years. Especially, it contains files (e.g. the generic interfaces for ICFG, PointsToInfo, etc. ) that don't belong there. On the other hand the DB folder contains files (ProjectIRDB, Hexastore) that logically belong into PhasarLLVM. Re-organize it.
Prerequisites
issue x
Out Of Scope
A isn't part of this
Acceptance Criteria
The following acceptance criteria are defined regarding the result of this story: Clarify what the final result should be, not how to accomplish it.
Criterion 1
Criterion 2
Related Stories
none
Follow-up Stories
none
The text was updated successfully, but these errors were encountered:
Story
The folder PhasarLLVM has grown too large over the recent years. Especially, it contains files (e.g. the generic interfaces for ICFG, PointsToInfo, etc. ) that don't belong there. On the other hand the DB folder contains files (ProjectIRDB, Hexastore) that logically belong into PhasarLLVM. Re-organize it.
Prerequisites
Out Of Scope
Acceptance Criteria
The following acceptance criteria are defined regarding the result of this story:
Clarify what the final result should be, not how to accomplish it.
Related Stories
Follow-up Stories
The text was updated successfully, but these errors were encountered: