| Summary: | [Passage] API revision | conditions | Path condition miner | ||
|---|---|---|---|
| Product: | [Technology] Passage | Reporter: | Elena Parovyshnaia <elena.parovyshnaya> |
| Component: | API | Assignee: | Elena Parovyshnaia <elena.parovyshnaya> |
| Status: | CLOSED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 0.9.0 | ||
| Target Milestone: | 1.0.0 | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
| Bug Depends on: | 564818, 564819 | ||
| Bug Blocks: | 564326 | ||
|
Description
Elena Parovyshnaia
PR#1 https://github.com/eclipse-passage/passage/pull/287 reimplement `PathConditionMiner`: `LocalConditions` PR#2 https://github.com/eclipse-passage/passage/pull/289 reimplement all successors: - `UserHomeResidentConditions` - `InstallationResidentConditions` - `ConfigurationResidentConditions` - test set for `LocalConditions` `lic.base` / `lic.internal.base.conditions.mining`: abstract `LocalConditions` mining service and all the required infastructure `lic.base` / `lic.internal.base.conditions.mining`: `UserHomeResidentConditions` successor `lic.equinox` / `lic.internal.equinox.conditions`: `InstallationResidentConditions` and `ConfigurationResidentConditions` successors `lic.base.tests` / `lic.internal.base.tests.conditions.mining`: `LocalConditionsTest` |