wow, so i finally got around to going through this: https://github.com/gigasquid/genetic-programming-spec and now i'm wondering how it could be used for actual testing

for example, in the program i just specced out i originally wanted to actually match the correctness of args and return values, which would have meant a quadratic number of sfdefs. i had a list of i think 11 types and five functions...so if i'm doing the math right that would have meant 605 different definitions? now i'm thinking it could actually be possible to enumerate that entire testing space if i learned to have the specs generate themselves... something to think about

is there some way to get more info from this error: "Couldn't satisfy such-that predicate” ? the ex-info map is empty

i’m curious what predicate is failing

it's um

probably from an s/and somewhere

test.check master has a mechanism for spec to add more info in this case, but spec would have to be updated as well

it's something rich asked for

ok cool - will just bin-search it like i do practically all my debugging 😉

yep 😢