test: Quint model - Use indices
instead of range
to avoid problem…
#67
Job | Run time |
---|---|
22m 10s | |
22m 10s |
indices
instead of range
to avoid problem…
#67
Job | Run time |
---|---|
22m 10s | |
22m 10s |