/Solvers/dreal4/bazel-bin/dreal/util/logging_test.runfiles/