Nodes 0, 1, and 2 form a cycle. If we remove 0 - 1, the graph remains connected. However, removing 1 - 3 disconnects nodes 3 and 4 from the rest of the graph.

Hypothesis is a modern property based testing system designed for mainstream languages. The original version is for Python, where it works extremely well. This is a very rough prototype of what ...