diff --git a/project.py b/project.py index f59606d..2a25d6f 100644 --- a/project.py +++ b/project.py @@ -417,7 +417,8 @@ def print_top_module(self): def fetch_wokwi_files(self): logging.info("fetching wokwi files") src_file = self.info.source_files[0] - url = f"https://wokwi.com/api/projects/{self.info.wokwi_id}/verilog" + params = "?micro=1" if self.info.tiles == "micro" else "" + url = f"https://wokwi.com/api/projects/{self.info.wokwi_id}/verilog" + params git_utils.fetch_file(url, os.path.join(self.src_dir, src_file)) # also fetch the wokwi diagram