Handle model values

Question

Handle model values

Closed this issue 4 months ago · 2 comments

Decide how to handle "model values" for instantiation of CONSTANT parameters. Currently, it is expected that string values are to be used in place of model values.

Answer 1 · 2024-01-31T16:52:35.000Z

Partial support in ca84c8e.

May still need some additional logic to handle nested sets of model values e.g., Quorum = {{n1},{n2},{n1,n2}}

Answer 2 · 2024-07-15T01:05:19.000Z

Parsing of general model values should now be handled after ffe5360. See example Paxos spec + model here.