Skip to content

Commit f8794fd

Browse files
author
M0stafaRady
committed
Merge remote-tracking branch 'origin/main' into add_frigate
2 parents 3da7a45 + d927f9a commit f8794fd

File tree

2 files changed

+2
-3
lines changed

2 files changed

+2
-3
lines changed

cocotb/README.md

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -149,7 +149,7 @@ usage: caravel_cocotb [-h] [-test TEST [TEST ...]] [-design_info DESIGN_INFO]
149149
[-emailto EMAILTO [EMAILTO ...]] [-seed SEED] [-no_wave]
150150
[-sdf_setup] [-clk CLK] [-lint]
151151
[-macros MACROS [MACROS ...]] [-sim_path SIM_PATH]
152-
[-verbosity VERBOSITY] [-openframe] [-check_commits]
152+
[-verbosity VERBOSITY] [-check_commits]
153153
[-no_docker] [-compile]
154154
155155
Run cocotb tests
@@ -193,7 +193,6 @@ optional arguments:
193193
-verbosity VERBOSITY verbosity of the console output it can have one of 3
194194
value debug, normal or quiet the default value is
195195
normal
196-
-openframe use openframe for the simulation rather than caravel
197196
-check_commits use to check if repos are up to date
198197
-no_docker run iverilog without docker
199198
-compile force recompilation

cocotb/caravel_cocotb/scripts/verify_cocotb/RunRegression.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -329,7 +329,7 @@ def write_command_log(self):
329329
def write_git_log(self):
330330
file_name = f"{self.paths.SIM_PATH}/{self.args.tag}/repos_info.log"
331331
f = open(file_name, "w")
332-
f.write(f"{'#'*4} Caravel repo info {'#'*4}\n")
332+
f.write(f"{'#'*4} {'Caravel' if 'CARAVEL_ROOT' in self.paths._fields else 'frigate' if 'FRIGATE_ROOT' in self.paths._fields else None} repo info {'#'*4}\n")
333333
ROOT_REPO = self.paths.CARAVEL_ROOT if "CARAVEL_ROOT" in self.paths._fields else self.paths.FRIGATE_ROOT if "FRIGATE_ROOT" in self.paths._fields else None
334334
url = "https://github.com/" + f"{run(f'cd {ROOT_REPO};git ls-remote --get-url', stdout=PIPE, stderr=PIPE, universal_newlines=True, shell=True).stdout}".replace(
335335
"git@github.com:", ""

0 commit comments

Comments
 (0)