Fix init value for List and nondet value for constructors with no params

informalsystems / cosmwasm-to-quint

Semi-automated modelling and Model-Based Testing for CosmWasm contracts

Apache License 2.0

14 stars 1 forks source link

Fix init value for List and nondet value for constructors with no params #16

Closed bugarela closed 5 months ago

bugarela commented 5 months ago

Hello :octocat:

This contains 2 small fixes that I've been saving to test/show the power of our new integration tests. Review by commit and the snapshots should show you exactly the impact of the change.

Some explanation of the changes is also on the commit descriptions, but the snapshots should be of more help.