From c5f4691dfa67cb3b11a508a5b156adee59a4ea05 Mon Sep 17 00:00:00 2001 From: Aere Network Date: Tue, 6 Oct 2026 01:37:05 +0300 Subject: [PATCH] formal-consensus: the reproduction steps name the clone root instead of a workstation path --- formal-consensus/RULEAZA-TOT.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/formal-consensus/RULEAZA-TOT.md b/formal-consensus/RULEAZA-TOT.md index 5183d83..a8be952 100644 --- a/formal-consensus/RULEAZA-TOT.md +++ b/formal-consensus/RULEAZA-TOT.md @@ -70,10 +70,11 @@ prin wsl.exe). Toate rularile folosesc `-deadlock` fiindca protocolul se TERMINA ```bash # copie dosarul in /root (rulare rapida, in afara /mnt) +AERE_REPO=/calea/catre/clona/depozitului # radacina clonei tale; dosarul formal-tla/ sta direct sub ea mkdir -p /root/ftla -cp -f /mnt/c/Users/Jessica/Documents/AereNetwork/aerenew/formal-tla/*.tla /root/ftla/ -cp -f /mnt/c/Users/Jessica/Documents/AereNetwork/aerenew/formal-tla/*.cfg /root/ftla/ -cp -f /mnt/c/Users/Jessica/Documents/AereNetwork/aerenew/formal-tla/tla2tools.jar /root/ftla/ +cp -f "$AERE_REPO"/formal-tla/*.tla /root/ftla/ +cp -f "$AERE_REPO"/formal-tla/*.cfg /root/ftla/ +cp -f "$AERE_REPO"/formal-tla/tla2tools.jar /root/ftla/ cd /root/ftla for CFG in MCpart_safety MCpart_safety_witness MCpart_safety_negctrl \ MCpart_noprogress MCpart_liveness MCpart_liveness_negctrl; do