stwo-cairo-dev-utils 1.3.0

Development utilities and tools for Stwo Cairo prover
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use std::path::PathBuf;

pub fn get_compiled_cairo_program_path(test_name: &str) -> PathBuf {
    PathBuf::from(env!("CARGO_MANIFEST_DIR"))
        .join("../../test_data/")
        .join(test_name)
        .join("compiled.json")
}

pub fn get_proof_file_path(test_name: &str) -> PathBuf {
    PathBuf::from(env!("CARGO_MANIFEST_DIR"))
        .join("../../test_data/")
        .join(test_name)
        .join("proof.json")
}