src/tests/diagnostics/meta/fshost_metrics_tests.cml

// Copyright 2023 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
{
    include: [ "//src/sys/test_runners/inspect/default.shard.cml" ],
    program: {
        accessor: "ALL",
        timeout_seconds: "60",
        cases: [
            // Data/cache file sizes are reported and non-negative.
            "bootstrap/fshost:root/data_stats/data:size WHERE [a] a >= 0",
            "bootstrap/fshost:root/data_stats/data/cache:size WHERE [a] a >= 0",

            // Data/cache storage sizes are reported, non-negative, and rounded up to block size.
            // 4 KiB is the lowest common denominator for block sizes (4 KiB = fxfs, 8 KiB = Minfs).
            "bootstrap/fshost:root/data_stats/data:storage_size WHERE [a] And(a >= 0, (a - (4096 * (a // 4096))) == 0)",
            "bootstrap/fshost:root/data_stats/data/cache:storage_size WHERE [a] And(a >= 0, (a - (4096 * (a // 4096))) == 0)",

            // Volume size is non-zero, and amount used is non-negative.
            "bootstrap/fshost:root/data_stats/stats:total_bytes WHERE [a] a > 0",
            "bootstrap/fshost:root/data_stats/stats:allocated_bytes WHERE [a] a > 0",
            "bootstrap/fshost:root/data_stats/stats:used_bytes WHERE [a] a >= 0",

            // Inode allocation is non-zero and usage is non-negative.
            "bootstrap/fshost:root/data_stats/stats:allocated_inodes WHERE [a] a > 0",
            "bootstrap/fshost:root/data_stats/stats:used_inodes WHERE [a] a >= 0",
        ],
    },
}