Users have consistently the quality of our error messages as one of, of not the very highest, usability issue. This milestone will be completed when
- we have reworked the error message system to enable providing concise and illuminating error messages, and
- we have used the system to resolve all down stream symptoms that have been reported in issues
List view
0 issues of 10 selected
- Status: Open.#1327 In informalsystems/quint;
- Status: Open.#17 In informalsystems/quint;
- Status: Open.#502 In informalsystems/quint;
- Status: Open.#642 In informalsystems/quint;
- Status: Open.#643 In informalsystems/quint;
- Status: Open.#835 In informalsystems/quint;
- Status: Open.#869 In informalsystems/quint;
- Status: Open.#1229 In informalsystems/quint;
- Status: Open.#1231 In informalsystems/quint;