shrink/3 with strings - Githubissues

nicoabie / quickcheck

Randomized testing for Prolog à la QuickCheck

The Unlicense

22 stars 1 forks source link

Closed mndrix closed 5 years ago

mndrix commented 10 years ago

?- quickcheck:shrink(string, "", X).
X = "" ;
ERROR: string_codes/2: Arguments are not sufficiently instantiated

That shouldn't throw an exception.

nicoabie commented 5 years ago

@edechter this fix was later reverted, can you help me understand what is the status?