adding comment.
@@ -123,8 +123,8 @@ public final class CVC5SolverContext extends AbstractSolverContext {
@Override
public String getVersion() {
- // TODO: Check if this is correct or if there is no version info.
- return solver.getOptionInfo("version").toString();
+ // TODO: This is incorrect. Maybe there is no version info.
+ return "CVC5 " + solver.getOptionInfo("version").toString();
}
@Override
