Add validity testing
Offen
Dieses Issue hat noch niemand übernommen.
testing
- Vorherrschende Sprache
- Haskell
- Sterne
- 17
- Forks
- 12
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
There are three invariants not enforced by the types:
- The child of a
Skipcan't beEmpty(i.e., no trailing zeros). - The key stored in the root node is minimal.
- The binomial trees are heap-ordered.
We should test that all operations produce valid queues.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne damit, die Definitionen des Queue-Typs und die Implementierungen aller Queue-Operationen zu lokalisieren. Füge Gültigkeitstests hinzu, die die drei genannten Invarianten abdecken: kein Empty-Kind unter Skip, ein minimaler Wurzelschlüssel und heap-geordnete Binomialbäume. Erledigt bedeutet, dass jede Operation darauf getestet wird, gültige Queues zu erzeugen.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- haskell
- Bereich
- data
- Issue-Typ
- Feature
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100