informalsystems / informalsystems/FuzzMo

[model generation] Remove the `metadata` argument from pure functions

Open
#8 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Rust
Stars
0
Forks
0
PR merge metrics
No merged PRs in 30d

Description

As discussed with @bugarela, we need to remove the unnecessary `metadata` argument and switch to the new stub format.

* Remove `deps` (from the state and from any arguments for pure functions). We are not using it.
* Pass `msgInfo` and `env` as-is (nested records).
* Figure out a better UI so that users can enter flat structures instead of nested records.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.