/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/
../
_solib_k8
test