Skip to content

Commit

Permalink
test(pkg): add more disjunction pattern cases
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

<!-- ps-id: 9e8da626-8e04-41b3-99ec-667fce8f9829 -->
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
  • Loading branch information
rgrinberg committed Nov 4, 2024
1 parent afd57da commit 04b9b39
Showing 1 changed file with 32 additions and 2 deletions.
34 changes: 32 additions & 2 deletions test/blackbox-tests/test-cases/pkg/depopts/gh11058.t
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 04b9b39

Please sign in to comment.