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.
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