Cleanup

Signed-off-by: Pascal Gouedo <[email protected]>
pascalgouedo · Jun 3, 2024 · 86c0ed6 · 86c0ed6
1 parent cf658a0
commit 86c0ed6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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