Changing PN in ps_analyze.sh to use a new script bed.sh for validation. bed.sh...

Changing PN in ps_analyze.sh to use a new script bed.sh for validation. bed.sh is also committed here. bed.sh will run both manual tests and concolic tests if both are provided.



Former-commit-id: 7e9d27c64dadfd5154a083e037d014fcf85949d3