From e8d239c64a448b91dcb5ac081acb1093cca8b3dd Mon Sep 17 00:00:00 2001 From: Kukovec Date: Tue, 31 May 2022 16:38:31 +0200 Subject: [PATCH] readme update 2 --- spec/consensus/proposer-based-timestamp/tla/readme.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/spec/consensus/proposer-based-timestamp/tla/readme.md b/spec/consensus/proposer-based-timestamp/tla/readme.md index 4d2e2a12f..ab55bd02f 100644 --- a/spec/consensus/proposer-based-timestamp/tla/readme.md +++ b/spec/consensus/proposer-based-timestamp/tla/readme.md @@ -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.