search

usi-verification-and-security / opensmt

The opensmt solver
Other
77 stars 18 forks source link

Fix `MainSolver` API #688

Open Tomaqa opened 7 months ago

Tomaqa commented 7 months ago

The public API should not expose private classes and functions. Also add appropriate checks for the existing API calls.

Tomaqa commented 7 months ago

The issue is not fully resolved yet. For example, the SMT solver and THandler should not be necessary to be included in the public API. Not speaking of the initialization of MainSolver where for example it first constructs thandler and then constructs logic(thandler->getLogic())