xlog-cli 0.9.2

Command-line interface for deterministic and probabilistic XLOG execution
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

use assert_cmd::Command;

#[test]
fn test_xlog_repl_parses_multiline_session_without_gpu() {
    let output = Command::cargo_bin("xlog")
        .expect("xlog binary")
        .arg("repl")
        .write_stdin(
            r#"
edge(1, 2).
reach(X, Y) :- edge(X, Y).
?- reach(1, 2).
"#,
        )
        .output()
        .expect("run xlog repl");
    assert!(
        output.status.success(),
        "xlog repl failed: {}",
        String::from_utf8_lossy(&output.stderr)
    );
    let stdout = String::from_utf8(output.stdout).expect("utf8 stdout");
    assert!(stdout.contains("repl:"), "{stdout}");
    assert!(stdout.contains("statements=3"), "{stdout}");
    assert!(stdout.contains("rules=2"), "{stdout}");
    assert!(stdout.contains("queries=1"), "{stdout}");
}

#[test]
fn test_xlog_watch_once_explain_smoke() {
    let program = std::env::temp_dir().join(format!("xlog_watch_once_{}.xlog", std::process::id()));
    std::fs::write(
        &program,
        r#"
#pragma magic_sets = auto
edge(1, 2).
reach(X, Y) :- edge(X, Y).
?- reach(1, 2).
"#,
    )
    .expect("write watch fixture");

    let output = Command::cargo_bin("xlog")
        .expect("xlog binary")
        .args([
            "watch",
            "--once",
            "--explain",
            program.to_str().expect("valid path"),
        ])
        .output()
        .expect("run xlog watch");
    assert!(
        output.status.success(),
        "xlog watch failed: {}",
        String::from_utf8_lossy(&output.stderr)
    );
    let stdout = String::from_utf8(output.stdout).expect("utf8 stdout");
    assert!(stdout.contains("watch:"), "{stdout}");
    assert!(stdout.contains("magic_sets:"), "{stdout}");
}