diff --git a/test/blackbox-tests/test-cases/pkg/depopts/gh11058.t b/test/blackbox-tests/test-cases/pkg/depopts/gh11058.t index 3dfb49991d5..b5fc51beb93 100644 --- a/test/blackbox-tests/test-cases/pkg/depopts/gh11058.t +++ b/test/blackbox-tests/test-cases/pkg/depopts/gh11058.t @@ -4,10 +4,40 @@ Handling of more than one depopt: $ . ../helpers.sh - $ mkpkg bar <<'EOF' + $ mkpkg a + $ mkpkg b + $ mkpkg c + $ mkpkg d + $ mkpkg e + $ mkpkg f + + $ runtest() { + > mkpkg bar <<'EOF' + > depopts: [ "a" "b" "c" ] + > EOF + > solve bar + > } + + $ runtest <<'EOF' > depopts: [ "a" "b" "c" ] > EOF + Solution for dune.lock: + - bar.0.0.1 - $ solve bar + $ runtest <<'EOF' + > depopts: [ "a" "b" "c" "d" ] + > EOF + Solution for dune.lock: + - bar.0.0.1 + + $ runtest <<'EOF' + > depopts: [ ("a" | "b") "c" "d" ] + > EOF + Solution for dune.lock: + - bar.0.0.1 + + $ runtest <<'EOF' + > depopts: [ (("e" | "a") | ("d" | "f")) "b" "c" ] + > EOF Solution for dune.lock: - bar.0.0.1