Original P3 VeriSimple Pipeline with Automated Testing Setup