Yeah it can get that advanced! But the distinction is still generating junk until you get errors while pbt is about checking business logic (properties) hold u

Yeah it can get that advanced! But the distinction is still generating junk until you get errors while pbt is about checking business logic (properties) hold under random generators. Saying this I’m sure the cutting edge of both overlap!