feat(spec): WIP: Draft of Quint reset protocol #210
Annotations
4 errors
|
Run codespell-project/actions-codespell@v2:
specs/quint/specs/reset.qnt#L3
limitting ==> limiting
|
|
Run codespell-project/actions-codespell@v2:
specs/quint/specs/reset.qnt#L4
unsuccesful ==> unsuccessful
|
|
Run codespell-project/actions-codespell@v2:
specs/quint/specs/reset.qnt#L69
actuall ==> actually, actual
|
|
Run codespell-project/actions-codespell@v2:
specs/quint/specs/reset.qnt#L198
heighest ==> highest
|
Loading