Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007404OCamlstandard librarypublic2016-11-07 22:472017-04-14 16:50
Assigned To 
PrioritynormalSeverityfeatureReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0007404: Expose functions to check invariants in Set/Map/Hashtbl
DescriptionThese datastructures maintain some invariants which can broken because of implementation bugs (as in 0007403) or by the user (using marshaling, mutation, or a bad comparison/hash function). Exposing functions to check explicitly for these invariants (ordering + balancing with Set/Map, correct buckets for Hashtbl) would help writing robust unit tests (including QuickCheck-style) in the testsuite and help users investigate tricky bugs. The functions would also act as an operational documentation of those invariants.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2016-11-07 22:47 frisch New Issue
2017-02-23 16:43 doligez Category OCaml standard library => standard library
2017-04-14 16:50 doligez Status new => acknowledged

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker