diff options
| author | Julian Andres Klode <jak@debian.org> | 2025-10-26 07:58:43 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2025-10-26 08:28:35 +0100 |
| commit | 78da58ec0c1cdbda6cdd22c63f85ddac703bb0d6 (patch) | |
| tree | c61a988f11713314265f151db899e4e3b5ddba14 /doc | |
| parent | 5e8e69cdd6b512480f3208298725e1e44c80f06e (diff) | |
tests: Do not skip tests for --solver internal
Remove the exports for the default as we don't want those
inherited, they can just be reset. Set the skip file to
/dev/null when a solver is selected, to make sure that
tests don't fall back to the default skip file.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions