Testing

Does a normal std test, test for bv?