def isBuilt(self):
    return self.userSettingsFileExists() and self.userSettings["isBuilt"]
  
  # Returns path to user settings file.
  # This file lists our 'built' status and all tracked resources.
dataset/ETHPy150Open gkno/gkno_launcher/src/gkno/adminUtils.py/adminUtils.isBuilt/original