Ivan Gavran
Ivan Gavran
> > ``` --max-samples the maximum on the number of traces to try [number] [default: 10000] ``` > > there should be a way for me to access these 10000...
Hi, wsAndy, sorry for answering late, I missed the notification. The code is not intended to work in gazebo - namely, it was made to follow the Stage convention that...
At the moment, we are setting the `keypath` variable at two places: a) when generating the reactor b) when running the test (`atomkraft test trace ..`). In the case b),...
The description looks good. There is one major thing worth discussing in our meeting: this issue uses a lot the statefulness of the CLI. Is this a good thing, to...
@rnbguy , once we finalize the project structure, it would be cool to modify the cosmwasm example to reflect the structure. I tried to do it, but struggled because of...
While writing this ADR has been overtaken by implementation efforts, it might be a good idea to get back to it when/after working on #297.
@angbrav , would a feature like that be useful for you? (looking back on your modelling experience)
A similar problem: the simulator crashes when running with an invariant that does not exist (ie, mistyping the name)