Code

Update tntc manual with run and test#342

Code

Merged

konnov merged 4 commits intomaininformalsystems/quint:mainfrom igor/run312informalsystems/quint:igor/run312Copy head branch name to clipboardNov 24, 2022

+106-94

Commits

Commits on Nov 10, 2022

• update the tntc manpage

  konnov

  committed
  d5a4c0c

• update the tntc manual

  konnov

  committed
  7cb7aed

• Merge branch 'main' into igor/run312

  konnov

  authored
  ca253eb

Commits on Nov 24, 2022

• Merge branch 'main' into igor/run312

  konnov

  authored
  2d2cbf4