I remember Spec# - and Pex. Did Pex feed into this work at all, I recall it was able to explore execution paths through code? I’ll keep an eye on how this will

I remember Spec# - and Pex. Did Pex feed into this work at all, I recall it was able to explore execution paths through code? I’ll keep an eye on how this will integrate with PBT, that’s an interest of mine.