Integrate IDESolverAPIMixin into IterativeIDESolver#813

Merged

fabianbs96 merged 5 commits intosecure-software-engineering:developmentfrom

fabianbs96:f-UpdateIterIDESolverAPI

Feb 17, 2026

Commits on Jan 29, 2026

Add IDESolverAPIMixin to IterativeIDESolver + small API-change in IDESolverAPIMixin::initialize()
fabianbs96
committed

Commits on Feb 8, 2026

Testing the IDESolverAPIMixin on the IterativeIDESolver
fabianbs96
committed

Commits on Feb 14, 2026