quint icon indicating copy to clipboard operation
quint copied to clipboard

[Rust] Add support for `--seed`

Open bugarela opened this issue 9 months ago • 2 comments

This involves:

  • Checking for the seed param and setting the random generator state if it is present
  • Saving the seed for each stored trace

bugarela avatar Apr 08 '25 19:04 bugarela

Hello @bugarela, Can I work on this?

ginzahatemi avatar May 29 '25 10:05 ginzahatemi

@ginzahatemi yes! Just to make it clear, this is on the rust evaluator, as the typescript version already has it.

bugarela avatar May 29 '25 10:05 bugarela