mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-08-20 14:16:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

readme update 2

Browse Source
This commit is contained in:
Kukovec
2022-05-31 16:38:31 +02:00
parent fefc49fc10
commit e8d239c64a
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
spec/consensus/proposer-based-timestamp/tla/readme.md
+5 -1
View File
@@ -30,4 +30,8 @@ Checks 10 steps of `MC_PBT_2C_2F.tla`
# Updating the experiments log
After running a particularly significant test, copy the raw outputs from `_apalache-out` to `experiment_data` and update `experiment_log.md` accordingly.
After running a particularly significant test, copy the raw outputs from
`_apalache-out` to `experiment_data` and update `experiment_log.md` accordingly.
See `experiment_data/May2022` for a suggested directory layout.
Make sure to copy at least the `detailed.log` and `run.txt` files, as well as any counterexample files, if present.