Maybe try property based testing instead?