Changes formatting on prov and pthread_test