DSE: Improve the Z3 solution model & state handling (!183) · Merge requests · af3 / af3-backup · GitLab

This is an archived project. Repository and other project resources are read-only.

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

Alexander Diewald requested to merge 3738 into master May 29, 2019

Inverse the return flag of the solveOptimize method.
Directly transform the Z3 output model when it is returned.
Cleanup the scattered Status handling of the ExplorationSolution.

Issue-Ref: 3738 Issue-Url: https://af3-developer.fortiss.org/issues/3738 Signed-off-by: Alexander Diewald diewald@fortiss.org