diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2016-06-08 10:56:14 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2016-06-08 13:07:21 +0200 |
| commit | 4dc619c0435d44a6a03cfda357654d3d76833b68 (patch) | |
| tree | c889ca117d4ce4fb22987f2be365c3cb89f9ed86 /test/thread-safety/thread-check-internal.txt | |
| parent | ab07af708e49c9219940ffd3e20a01c763267e03 (diff) | |
edsp: if internal is used, keep this decision
It wasn't noticeable before, but now with the (optional) logging it can
be observed that we decide in the internal path two times if an internal
or external solver should be used (and hence with logging, it is
attempted twice), so if we are in the internal path call the internal
resolver directly, which means those internal methods need to be public
– but we can hide them based on the symbol at least.
Diffstat (limited to 'test/thread-safety/thread-check-internal.txt')
0 files changed, 0 insertions, 0 deletions