-
Notifications
You must be signed in to change notification settings - Fork 32
Open
Description
| isSearchTreeProp :: E3.Tree Int -> Bool |
I got a test failure on isSearchTree as follows:
test/Spec.hs:134:5:
4) isSearchTree isSearchTree should only return true when the flattened tree is sorted
Falsified (after 2 tests):
Node 1 (Leaf (-1)) (Leaf 1)
However, the counterexample is not a search tree where 1 >= -1 but not 1 < 1.
- Node 1 (Leaf (-1)) (Leaf 1)
ltquang
Metadata
Metadata
Assignees
Labels
No labels