diff --git a/crates/blockifier/src/test_utils/cairo_compile.rs b/crates/blockifier/src/test_utils/cairo_compile.rs index 88a0dc0395..be66c009a7 100644 --- a/crates/blockifier/src/test_utils/cairo_compile.rs +++ b/crates/blockifier/src/test_utils/cairo_compile.rs @@ -56,6 +56,10 @@ pub fn cairo1_compiler_version() -> String { } } +pub fn cairo1_compiler_tag() -> String { + format!("v{}", cairo1_compiler_version()) +} + /// Returns the path to the local Cairo1 compiler repository. fn local_cairo1_compiler_repo_path() -> PathBuf { // Location of blockifier's Cargo.toml. @@ -149,7 +153,7 @@ fn verify_cairo0_compiler_deps() { fn verify_cairo1_compiler_deps(git_tag_override: Option) { let cairo_repo_path = local_cairo1_compiler_repo_path(); - let tag = git_tag_override.unwrap_or(format!("v{}", cairo1_compiler_version())); + let tag = git_tag_override.unwrap_or(cairo1_compiler_tag()); // Check if the path is a directory. assert!( diff --git a/crates/blockifier/tests/cairo1_compiler_tag.txt b/crates/blockifier/tests/cairo1_compiler_tag.txt new file mode 100644 index 0000000000..8a965c1168 --- /dev/null +++ b/crates/blockifier/tests/cairo1_compiler_tag.txt @@ -0,0 +1 @@ +v2.6.0 diff --git a/crates/blockifier/tests/feature_contracts_compatibility_test.rs b/crates/blockifier/tests/feature_contracts_compatibility_test.rs index e7d2d45bb8..f9b2be7e9d 100644 --- a/crates/blockifier/tests/feature_contracts_compatibility_test.rs +++ b/crates/blockifier/tests/feature_contracts_compatibility_test.rs @@ -1,5 +1,6 @@ use std::fs; +use blockifier::test_utils::cairo_compile::cairo1_compiler_tag; use blockifier::test_utils::contracts::FeatureContract; use blockifier::test_utils::CairoVersion; use pretty_assertions::assert_eq; @@ -109,6 +110,12 @@ fn verify_and_get_files(cairo_version: CairoVersion) -> Vec<(String, String, Str paths } +#[test] +fn test_cairo1_compiler_version_matches_toml() { + let on_file = include_str!("cairo1_compiler_tag.txt").trim().to_string(); + assert_eq!(on_file, cairo1_compiler_tag()); +} + #[test] fn verify_feature_contracts_match_enum() { let mut compiled_paths_from_enum: Vec = FeatureContract::all_feature_contracts()