quint
quint copied to clipboard
[Rust] Add support for `--seed`
This involves:
- Checking for the seed param and setting the random generator state if it is present
- Saving the seed for each stored trace
Hello @bugarela, Can I work on this?
@ginzahatemi yes! Just to make it clear, this is on the rust evaluator, as the typescript version already has it.