Code

Fix const override test fixture#1222

Code

Merged

bugarela merged 1 commit intomaininformalsystems/quint:mainfrom gabriela/fix-const-override-testinformalsystems/quint:gabriela/fix-const-override-testCopy head branch name to clipboardOct 17, 2023

+3-3

Commits

Commits on Oct 16, 2023

• Fix const override test fixture

  bugarela

  committed
  1f538c8