aere-network/aere-research
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

formal-consensus: the reproduction steps name the clone root instead of a workstation path

Browse Source
This commit is contained in:
Aere Network 2026-10-06 01:37:05 +03:00
parent 51c17f08de
commit c5f4691dfa
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
formal-consensus/RULEAZA-TOT.md
View File

@ -70,10 +70,11 @@ prin wsl.exe). Toate rularile folosesc `-deadlock` fiindca protocolul se TERMINA
```bash ```bash
# copie dosarul in /root (rulare rapida, in afara /mnt) # 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 mkdir -p /root/ftla
cp -f /mnt/c/Users/Jessica/Documents/AereNetwork/aerenew/formal-tla/*.tla /root/ftla/ cp -f "$AERE_REPO"/formal-tla/*.tla /root/ftla/
cp -f /mnt/c/Users/Jessica/Documents/AereNetwork/aerenew/formal-tla/*.cfg /root/ftla/ cp -f "$AERE_REPO"/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/tla2tools.jar /root/ftla/
cd /root/ftla cd /root/ftla
for CFG in MCpart_safety MCpart_safety_witness MCpart_safety_negctrl \ for CFG in MCpart_safety MCpart_safety_witness MCpart_safety_negctrl \
MCpart_noprogress MCpart_liveness MCpart_liveness_negctrl; do MCpart_noprogress MCpart_liveness MCpart_liveness_negctrl; do