Fix some access levels in `MainSolver` and add some checks to public …

usi-verification-and-security / opensmt

The opensmt solver

Other

78 stars 18 forks source link

Fix some access levels in `MainSolver` and add some checks to public … #689

Closed Tomaqa closed 8 months ago

Tomaqa commented 8 months ago

…member functions.

Related to #688 (does not fully resolve)

Tomaqa commented 8 months ago

Making getSMTSolver protected and also THandler is not possible at the moment, some classes such as BitBlaster are using it. I am afraid it would require more thorough refactoring.

blishko commented 8 months ago

Please, next time, make sure that the title of git commit is limited to 72 characters, so that GitHub does not split it when creating a PR. Having the sentence split between title and description like in this PR is weird.