@@ -37,7 +37,7 @@ def main(
3737 backend : str ,
3838 timeout : int ,
3939 num_cpus : int ,
40- stdout : bool ,
40+ verbose : int ,
4141) -> None :
4242 """Runs the pytests for repos in a dataset.
4343
@@ -64,15 +64,17 @@ def main(
6464 log_dir = RUN_PYTEST_LOG_DIR / repo_name / branch / hashed_test_ids
6565 log_dir .mkdir (parents = True , exist_ok = True )
6666 log_file = log_dir / "run_pytest.log"
67- logger = setup_logger (repo_name , log_file )
67+ logger = setup_logger (repo_name , log_file , verbose = verbose )
6868
6969 try :
7070 local_repo = git .Repo (repo_or_repo_dir )
71+ logger .info (f"Loaded a git repo from { repo_or_repo_dir } " )
7172 except git .exc .NoSuchPathError : # type: ignore
7273 repo_dir = os .path .join (base_dir , repo_name )
7374 logger .error (f"{ repo_or_repo_dir } is not a git dir, trying { repo_dir } again" )
7475 try :
7576 local_repo = git .Repo (repo_dir )
77+ logger .info (f"Retried succeeded. Loaded a git repo from { repo_dir } " )
7678 except git .exc .NoSuchPathError : # type: ignore
7779 raise Exception (
7880 f"{ repo_dir } and { repo_or_repo_dir } are not git directories.\n Usage: commit0 test {{repo_dir}} {{branch}} {{test_ids}}"
@@ -133,6 +135,9 @@ def main(
133135 logger ,
134136 )
135137 close_logger (logger )
138+ if verbose > 0 :
139+ test_output = Path (log_dir / "test_output.txt" )
140+ print (test_output .read_text ())
136141 pytest_exit_code = Path (log_dir / "pytest_exit_code.txt" ).read_text ().strip ()
137142 sys .exit (int (pytest_exit_code ))
138143 except EvaluationError as e :
0 commit comments