getting all states in correnctness test