Skip to content

Commit d789010

Browse files
author
Amitayush Thakur
committed
Removed unecessary files.
1 parent 6c7554b commit d789010

File tree

5 files changed

+1
-519
lines changed

5 files changed

+1
-519
lines changed

src/itp_interface/main/run_tool.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -420,7 +420,7 @@ def run_data_generation(experiment: Experiments, log_dir: str, logger: logging.L
420420
time.sleep(10)
421421
logger.info(f"Finished running experiment: \n{experiment.to_json(indent=4)}")
422422

423-
@hydra.main(config_path="config", config_name="experiments", version_base="1.2")
423+
@hydra.main(config_path="configs", config_name="experiments", version_base="1.2")
424424
def main(cfg):
425425
os.environ["PYTHONPATH"] = f"{root_dir}:{os.environ.get('PYTHONPATH', '')}"
426426
# RayUtils.init_ray(num_of_cpus=cfg.run_settings.pool_size, object_store_memory_in_gb=100)

src/itp_interface/tools/coq_build_tool.py

Lines changed: 0 additions & 319 deletions
This file was deleted.

0 commit comments

Comments
 (0)