Skip to content

Commit

Permalink
Fix integration tests
Browse files Browse the repository at this point in the history
  • Loading branch information
Shon Feder committed Mar 14, 2024
1 parent 646adb4 commit 618906f
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions test/tla/cli-integration-tests.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -339,7 +339,7 @@ EXITCODE: OK
$ cat output.tla | head
-------------------------------- MODULE output --------------------------------

EXTENDS Integers, Sequences, FiniteSets, TLC, Apalache
EXTENDS Integers, Sequences, FiniteSets, TLC, Apalache, Variants

CONSTANT
(*
Expand Down Expand Up @@ -414,7 +414,7 @@ EXITCODE: OK
$ cat output.tla | head
-------------------------------- MODULE output --------------------------------
EXTENDS Integers, Sequences, FiniteSets, TLC, Apalache
EXTENDS Integers, Sequences, FiniteSets, TLC, Apalache, Variants
CONSTANT
(*
Expand Down Expand Up @@ -3920,7 +3920,7 @@ EXITCODE: OK
$ cat module-lookup/subdir-no-dummy/output.tla
-------------------------------- MODULE output --------------------------------
EXTENDS Integers, Sequences, FiniteSets, TLC, Apalache
EXTENDS Integers, Sequences, FiniteSets, TLC, Apalache, Variants
Init == TRUE
Expand Down

0 comments on commit 618906f

Please sign in to comment.