Closed
Description
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
- 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