hermit_record_format/consts.rs
1/*
2 * Copyright (c) Meta Platforms, Inc. and affiliates.
3 * All rights reserved.
4 *
5 * This source code is licensed under the BSD-style license found in the
6 * LICENSE file in the root directory of this source tree.
7 */
8
9/// The name of the JSON metadata file that is saved for each recording.
10pub const METADATA_NAME: &str = "metadata.json";
11
12/// The name of the run manifest a recording directory holds
13/// (<https://github.com/rrnewton/hermit/issues/4271>).
14pub const MANIFEST_NAME: &str = "manifest.json";
15
16/// The file in the data directory naming the newest recording a user asked
17/// for (`hermit record`, `hermit run --record-networking`), which a bare
18/// `hermit replay` replays.
19pub const LAST: &str = "last";
20
21/// The file in the data directory naming the newest recording of any kind,
22/// the manifest of a plain `hermit run` included.
23pub const LAST_RUN: &str = "last-run";
24
25/// The name of the root executable.
26pub const EXE_NAME: &str = "exe";
27
28/// Directory containing content-addressed executable snapshots referenced by
29/// successful exec events.
30pub const EXEC_FILES_NAME: &str = "exec_files";