By the amount of comments, never. PBT is nice where it fits, but I found for some problems the properties you define can become so complex that they need unit t

By the amount of comments, never. PBT is nice where it fits, but I found for some problems the properties you define can become so complex that they need unit tests on their own. Which somehow defeats the purpose?!