Correctly get the version info of CVC5
@@ -113,7 +113,7 @@ public final class CVC5SolverContext extends AbstractSolverContext {
@Override
public String getVersion() {
// TODO: Check if this is correct or if there is no version info.
- return "CVC5 " + solver.toString();
+ return solver.getOptionInfo("version").toString();
}
@Override
