3 ms·Pex is based on the Daikon dynamic invariant. That's not true.by danbruc 14y agoPex is based on the Daikon dynamic invariant. That's not true.