(self, program_text: str)
| 926 | return options |
| 927 | |
| 928 | def parse_modules(self, program_text: str) -> list[str]: |
| 929 | modules = re.search("# modules: (.*)$", program_text, flags=re.MULTILINE) |
| 930 | if modules: |
| 931 | return modules.group(1).split() |
| 932 | else: |
| 933 | return ["main"] |
| 934 | |
| 935 | def add_file(self, path: str, result: list[str], header: bool) -> None: |
| 936 | if not os.path.exists(path): |
no test coverage detected