test: Quint model - Use indices
instead of range
to avoid problem…
#67
Loading
indices
instead of range
to avoid problem…
#67