Debugging red-black trees

Here’s a nice example which shows that GUIs can be made quickly enough that they can be used for “one off” or “throw away” programs. Christophe Poucet wrote this little GUI to help him debug a C++ implementation of a red-black tree:

[img]

Christophe says:

After countless hours of hacking an RB tree in C++, and getting frustrated, I finally coded up a haskell program to check the consistency. With the help of this I was easily able to find the final bug which I doubt I would’ve ever found without the visual view of the tree, allowing me to detect exactly what case was failing.

4 Responses to “Debugging red-black trees”

  1. Christophe Says:

    You can download the source code on my webpage, under the page “Software”

  2. Kelvin Vieira Kredens Says:

    Hello..

    Sorry Christophe but what te url?!?

    Thanks..

  3. Duncan Says:

    It’s available from here:
    http://www.notvincenz.com/wiki/pmwiki.php/Personal/Software

  4. Christophe Poucet Says:

    Unfortunately someone has decided to hack my wiki website. I have started a new website where one can find the software:
    http://homes.esat.kuleuven.be/~cpoucet/code.html