Closed
Milestone

Better printing of errors found during proof checking

Print not only the ID of the error, but also the description of the error.

For this first improve the system of error saving: Create for each error type a class. Then add to each error class a description.

  • Work items 0
  • Merge requests 0
  • Participants 0
  • Labels 0
Loading
Loading
Loading
Loading
100% complete
100%
Start date
No start date
None
Due date
No due date
None
Total weight
None
0
Merge requests 0
Open: 0 Closed: 0 Merged: 0
0
Releases
None
Reference: amxgg/bewerter-struktureller-induktion%"Better printing of errors found during proof checking"