fix: pass test
This commit is contained in:
		
							parent
							
								
									c786ddddfe
								
							
						
					
					
						commit
						230b777e40
					
				|  | @ -63,9 +63,9 @@ def convert(root: Path = Path(".")) -> result.Config: | ||||||
|         task_toml = task_file.read() |         task_toml = task_file.read() | ||||||
|     repo_obj = rtoml.loads(repo_toml) |     repo_obj = rtoml.loads(repo_toml) | ||||||
|     task_obj = rtoml.loads(task_toml) |     task_obj = rtoml.loads(task_toml) | ||||||
|     result_model = convert_conf(Repo(**repo_obj), Task(**task_obj)) |     result_model = convert_conf(repo.Config(**repo_obj), task.Config(**task_obj)) | ||||||
|  |     result_model = remove_nulls(result_model) | ||||||
|     result_dict = result_model.model_dump(by_alias=True) |     result_dict = result_model.model_dump(by_alias=True) | ||||||
|     result_dict = remove_nulls(result_dict) |  | ||||||
| 
 | 
 | ||||||
|     with open(result_json_path, "w") as result_file: |     with open(result_json_path, "w") as result_file: | ||||||
|         json.dump(result_dict, result_file, ensure_ascii=False, indent=4) |         json.dump(result_dict, result_file, ensure_ascii=False, indent=4) | ||||||
|  |  | ||||||
|  | @ -27,22 +27,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 4096, |                                 "max": 4096, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 4096, |                                 "max": 4096, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  | @ -58,7 +70,11 @@ | ||||||
|                             "copyIn": { |                             "copyIn": { | ||||||
|                                 "./repo-health-checker": { |                                 "./repo-health-checker": { | ||||||
|                                     "src": "./repo-health-checker", |                                     "src": "./repo-health-checker", | ||||||
|  |                                     "content": null, | ||||||
|  |                                     "fileId": null, | ||||||
|  |                                     "name": null, | ||||||
|                                     "max": 4194304, |                                     "max": 4194304, | ||||||
|  |                                     "symlink": null, | ||||||
|                                     "streamIn": false, |                                     "streamIn": false, | ||||||
|                                     "streamOut": false, |                                     "streamOut": false, | ||||||
|                                     "pipe": false |                                     "pipe": false | ||||||
|  | @ -90,6 +106,7 @@ | ||||||
|             }, |             }, | ||||||
|             { |             { | ||||||
|                 "name": "Abuse of strings detected", |                 "name": "Abuse of strings detected", | ||||||
|  |                 "group": null, | ||||||
|                 "executor": { |                 "executor": { | ||||||
|                     "name": "sandbox", |                     "name": "sandbox", | ||||||
|                     "with": { |                     "with": { | ||||||
|  | @ -102,22 +119,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  | @ -133,7 +162,11 @@ | ||||||
|                             "copyIn": { |                             "copyIn": { | ||||||
|                                 "tools/strdetec": { |                                 "tools/strdetec": { | ||||||
|                                     "src": "/home/tt/.config/joj/tools/strdetec", |                                     "src": "/home/tt/.config/joj/tools/strdetec", | ||||||
|  |                                     "content": null, | ||||||
|  |                                     "fileId": null, | ||||||
|  |                                     "name": null, | ||||||
|                                     "max": 4194304, |                                     "max": 4194304, | ||||||
|  |                                     "symlink": null, | ||||||
|                                     "streamIn": false, |                                     "streamIn": false, | ||||||
|                                     "streamOut": false, |                                     "streamOut": false, | ||||||
|                                     "pipe": false |                                     "pipe": false | ||||||
|  | @ -168,6 +201,7 @@ | ||||||
|             }, |             }, | ||||||
|             { |             { | ||||||
|                 "name": "Compilation", |                 "name": "Compilation", | ||||||
|  |                 "group": null, | ||||||
|                 "executor": { |                 "executor": { | ||||||
|                     "name": "sandbox", |                     "name": "sandbox", | ||||||
|                     "with": { |                     "with": { | ||||||
|  | @ -179,22 +213,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  | @ -210,7 +256,11 @@ | ||||||
|                             "copyIn": { |                             "copyIn": { | ||||||
|                                 "tools/compile": { |                                 "tools/compile": { | ||||||
|                                     "src": "/home/tt/.config/joj/tools/compile", |                                     "src": "/home/tt/.config/joj/tools/compile", | ||||||
|  |                                     "content": null, | ||||||
|  |                                     "fileId": null, | ||||||
|  |                                     "name": null, | ||||||
|                                     "max": 4194304, |                                     "max": 4194304, | ||||||
|  |                                     "symlink": null, | ||||||
|                                     "streamIn": false, |                                     "streamIn": false, | ||||||
|                                     "streamOut": false, |                                     "streamOut": false, | ||||||
|                                     "pipe": false |                                     "pipe": false | ||||||
|  | @ -272,6 +322,7 @@ | ||||||
|             }, |             }, | ||||||
|             { |             { | ||||||
|                 "name": "[cq] Filelength", |                 "name": "[cq] Filelength", | ||||||
|  |                 "group": null, | ||||||
|                 "executor": { |                 "executor": { | ||||||
|                     "name": "sandbox", |                     "name": "sandbox", | ||||||
|                     "with": { |                     "with": { | ||||||
|  | @ -287,22 +338,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  | @ -318,7 +381,11 @@ | ||||||
|                             "copyIn": { |                             "copyIn": { | ||||||
|                                 "tools/filelength": { |                                 "tools/filelength": { | ||||||
|                                     "src": "/home/tt/.config/joj/tools/filelength", |                                     "src": "/home/tt/.config/joj/tools/filelength", | ||||||
|  |                                     "content": null, | ||||||
|  |                                     "fileId": null, | ||||||
|  |                                     "name": null, | ||||||
|                                     "max": 4194304, |                                     "max": 4194304, | ||||||
|  |                                     "symlink": null, | ||||||
|                                     "streamIn": false, |                                     "streamIn": false, | ||||||
|                                     "streamOut": false, |                                     "streamOut": false, | ||||||
|                                     "pipe": false |                                     "pipe": false | ||||||
|  | @ -385,6 +452,7 @@ | ||||||
|             }, |             }, | ||||||
|             { |             { | ||||||
|                 "name": "[cq] Clang-tidy", |                 "name": "[cq] Clang-tidy", | ||||||
|  |                 "group": null, | ||||||
|                 "executor": { |                 "executor": { | ||||||
|                     "name": "sandbox", |                     "name": "sandbox", | ||||||
|                     "with": { |                     "with": { | ||||||
|  | @ -401,22 +469,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 65000000000, |                                 "max": 65000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  | @ -432,7 +512,11 @@ | ||||||
|                             "copyIn": { |                             "copyIn": { | ||||||
|                                 "projects/p2/.clang-tidy": { |                                 "projects/p2/.clang-tidy": { | ||||||
|                                     "src": "/home/tt/.config/joj/projects/p2/.clang-tidy", |                                     "src": "/home/tt/.config/joj/projects/p2/.clang-tidy", | ||||||
|  |                                     "content": null, | ||||||
|  |                                     "fileId": null, | ||||||
|  |                                     "name": null, | ||||||
|                                     "max": 4194304, |                                     "max": 4194304, | ||||||
|  |                                     "symlink": null, | ||||||
|                                     "streamIn": false, |                                     "streamIn": false, | ||||||
|                                     "streamOut": false, |                                     "streamOut": false, | ||||||
|                                     "pipe": false |                                     "pipe": false | ||||||
|  | @ -525,6 +609,7 @@ | ||||||
|             }, |             }, | ||||||
|             { |             { | ||||||
|                 "name": "[cq] Cppcheck", |                 "name": "[cq] Cppcheck", | ||||||
|  |                 "group": null, | ||||||
|                 "executor": { |                 "executor": { | ||||||
|                     "name": "sandbox", |                     "name": "sandbox", | ||||||
|                     "with": { |                     "with": { | ||||||
|  | @ -542,22 +627,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 65000000000, |                                 "max": 65000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  | @ -633,6 +730,7 @@ | ||||||
|             }, |             }, | ||||||
|             { |             { | ||||||
|                 "name": "[cq] Cpplint", |                 "name": "[cq] Cpplint", | ||||||
|  |                 "group": null, | ||||||
|                 "executor": { |                 "executor": { | ||||||
|                     "name": "sandbox", |                     "name": "sandbox", | ||||||
|                     "with": { |                     "with": { | ||||||
|  | @ -649,22 +747,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 65000000000, |                                 "max": 65000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  | @ -746,6 +856,7 @@ | ||||||
|             }, |             }, | ||||||
|             { |             { | ||||||
|                 "name": "[run] onecard", |                 "name": "[run] onecard", | ||||||
|  |                 "group": null, | ||||||
|                 "executor": { |                 "executor": { | ||||||
|                     "name": "sandbox", |                     "name": "sandbox", | ||||||
|                     "with": { |                     "with": { | ||||||
|  | @ -758,22 +869,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  | @ -827,6 +950,7 @@ | ||||||
|             }, |             }, | ||||||
|             { |             { | ||||||
|                 "name": "[run] address sanitizer", |                 "name": "[run] address sanitizer", | ||||||
|  |                 "group": null, | ||||||
|                 "executor": { |                 "executor": { | ||||||
|                     "name": "sandbox", |                     "name": "sandbox", | ||||||
|                     "with": { |                     "with": { | ||||||
|  | @ -839,22 +963,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  | @ -908,6 +1044,7 @@ | ||||||
|             }, |             }, | ||||||
|             { |             { | ||||||
|                 "name": "[run] memory sanitizer", |                 "name": "[run] memory sanitizer", | ||||||
|  |                 "group": null, | ||||||
|                 "executor": { |                 "executor": { | ||||||
|                     "name": "sandbox", |                     "name": "sandbox", | ||||||
|                     "with": { |                     "with": { | ||||||
|  | @ -920,22 +1057,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  | @ -989,6 +1138,7 @@ | ||||||
|             }, |             }, | ||||||
|             { |             { | ||||||
|                 "name": "[run] undefined behavior sanitizer", |                 "name": "[run] undefined behavior sanitizer", | ||||||
|  |                 "group": null, | ||||||
|                 "executor": { |                 "executor": { | ||||||
|                     "name": "sandbox", |                     "name": "sandbox", | ||||||
|                     "with": { |                     "with": { | ||||||
|  | @ -1001,22 +1151,34 @@ | ||||||
|                                 "PATH=/usr/bin:/bin:/usr/local/bin" |                                 "PATH=/usr/bin:/bin:/usr/local/bin" | ||||||
|                             ], |                             ], | ||||||
|                             "stdin": { |                             "stdin": { | ||||||
|  |                                 "src": null, | ||||||
|                                 "content": "", |                                 "content": "", | ||||||
|  |                                 "fileId": null, | ||||||
|  |                                 "name": null, | ||||||
|                                 "max": 4194304, |                                 "max": 4194304, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stdout": { |                             "stdout": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stdout", |                                 "name": "stdout", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|                             }, |                             }, | ||||||
|                             "stderr": { |                             "stderr": { | ||||||
|  |                                 "src": null, | ||||||
|  |                                 "content": null, | ||||||
|  |                                 "fileId": null, | ||||||
|                                 "name": "stderr", |                                 "name": "stderr", | ||||||
|                                 "max": 4000000000, |                                 "max": 4000000000, | ||||||
|  |                                 "symlink": null, | ||||||
|                                 "streamIn": false, |                                 "streamIn": false, | ||||||
|                                 "streamOut": false, |                                 "streamOut": false, | ||||||
|                                 "pipe": false |                                 "pipe": false | ||||||
|  |  | ||||||
|  | @ -3,3 +3,5 @@ from tests.convert.utils import load_case | ||||||
| 
 | 
 | ||||||
| def test_basic() -> None: | def test_basic() -> None: | ||||||
|     load_case("basic") |     load_case("basic") | ||||||
|  | 
 | ||||||
|  | test_basic() | ||||||
		Loading…
	
		Reference in New Issue
	
	Block a user