Code

Test generation#18

Code

Merged

bugarela merged 19 commits intomaininformalsystems/cosmwasm-to-quint:mainfrom gabriela/test-generationinformalsystems/cosmwasm-to-quint:gabriela/test-generationCopy head branch name to clipboardMay 27, 2024

+5,343-425

Commits

Commits on May 14, 2024

• Use allListsUpTo for nondet lists, and collect nondet picks

  bugarela

  committed
  0e0b5b7

  Copy full SHA for 0e0b5b7

• Rename return -> result to avoid rust's keyword on tests

  bugarela

  committed
  34fe6e9

  Copy full SHA for 34fe6e9

• Add translation for the structs part of test

  bugarela

  committed
  7a11750

  Copy full SHA for 7a11750

• Generate test part for user-defined actions

  bugarela

  committed
  7072cfe

  Copy full SHA for 7072cfe

Commits on May 15, 2024

• Initialize model through instantiate

  bugarela

  committed
  39fca81

  Copy full SHA for 39fca81

• Fix small syntax issues

  bugarela

  committed
  4e40689

  Copy full SHA for 4e40689

• Write to files and other tweaks

  bugarela

  committed
  6e51b37

  Copy full SHA for 6e51b37

Commits on May 16, 2024

• Update with Option/Result from itf-rs 0.2.4 (thanks @romac)

  bugarela

  committed
  d689dc3

  Copy full SHA for d689dc3

Commits on May 22, 2024

• Remove spell that is now a builtin

  bugarela

  committed
  47b5e6a

  Copy full SHA for 47b5e6a

• Improve integer conversion

  bugarela

  committed
  5ce01e0

  Copy full SHA for 5ce01e0

• Update tests to read from files

  bugarela

  committed
  ab2644a

  Copy full SHA for ab2644a

• Fix implementation and tests to handle multiple crates

  bugarela

  committed
  c1622c0

  Copy full SHA for c1622c0

Commits on May 23, 2024

• Write tests to a tests/ folder to avoid handling modules

  bugarela

  committed
  f4580da

  Copy full SHA for f4580da

• Make code generation deterministic so snapshot testing works

  bugarela

  committed
  3aec37b

  Copy full SHA for 3aec37b

Commits on May 24, 2024

• Improve readability and fix some spacing

  bugarela

  committed
  d6990e6

  Copy full SHA for d6990e6

• Improve struct definitions and more spacing fixes

  bugarela

  committed
  a366a8d

  Copy full SHA for a366a8d

Commits on May 27, 2024

• Print message after generation

  bugarela

  committed
  1d27e02

  Copy full SHA for 1d27e02

• Add custom spells back

  bugarela

  committed
  77db3a0

  Copy full SHA for 77db3a0

• Improve formatting and print expected result from trace on generated tests

  bugarela

  committed
  27fad74

  Copy full SHA for 27fad74