provenance-cli 0.2.3

Command-line interface for Provenance requirements traceability
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

#[path = "query_support/fixtures.rs"]
mod fixtures;

use provenance_macros::verifies;
use serde_json::json;

#[test]
#[verifies("rule_completed_read_leaves_no_wal_files", examples)]
fn completed_cli_reads_leave_no_wal_or_shm_files() {
    for round in 0..40 {
        let repo = fixtures::init_repo();
        let path = repo.path().to_str().unwrap();
        let cache = repo.path().join(".provenance/cache");
        for policy in ["catch_up", "annotate_only"] {
            fixtures::provenance()
                .args(["sdk", "get", "--repo", path, "--freshness", policy])
                .write_stdin(json!({"node_type": "requirement", "id": "req_missing"}).to_string())
                .assert()
                .success();
            assert!(
                !cache.join("provenance.db-wal").exists(),
                "read {round} with {policy} left the -wal file"
            );
            assert!(
                !cache.join("provenance.db-shm").exists(),
                "read {round} with {policy} left the -shm file"
            );
        }
    }
}