From 86c0ed676b3ea631ce4b973e1a79996a07eaa8c7 Mon Sep 17 00:00:00 2001 From: Pascal Gouedo Date: Mon, 3 Jun 2024 17:05:49 +0200 Subject: [PATCH] Cleanup Signed-off-by: Pascal Gouedo --- scripts/riscv_isa_formal/README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/riscv_isa_formal/README.md b/scripts/riscv_isa_formal/README.md index 5fa41a7aa..3cb124dce 100755 --- a/scripts/riscv_isa_formal/README.md +++ b/scripts/riscv_isa_formal/README.md @@ -36,7 +36,8 @@ Contains all files to create assertions and to launch different tool apps on dif ## How to launch a run - Locally clone cv32e40p github repository or make a symbolic link to an existing repo. -- launch following command: make GUI=1 APP=PRC CONF=XP MODE=DEF NAME=v1_8_0 VERBOSE=1 PREPARE=1 all >&! run_gui-PRC-cfg_XP-mode_DEF-v1_8_0.log & +- launch following command: + make GUI=1 APP=PRC CONF=XP MODE=DEF NAME=v1_8_0 VERBOSE=1 PREPARE=1 all >&! run_gui-PRC-cfg_XP-mode_DEF-v1_8_0.log & - or use launch_command_example to launch different runs in parallel. ## Commands to launch for each configuration