Implement compilation filter for failing tests

Author: JulianGCalderon

Makefile

@@ -66,7 +66,10 @@ test: check-llvm needs-cairo2 build-alexandria
 
 .PHONY: test-cairo
 test-cairo: check-llvm needs-cairo2
-	cargo r --profile ci --bin cairo-native-test -- corelib
+	cargo r --profile ci --bin cairo-native-test -- corelib \
+		--skip-compilation core::test::dict_test::test_array_from_squash_dict \
+		--skip-compilation core::test::hash_test::test_blake2s \
+		--skip-compilation core::test::testing_test::test_get_unspent_gas
 
 .PHONY: proptest
 proptest: check-llvm needs-cairo2

src/bin/cairo-native-test.rs

@@ -6,7 +6,9 @@ use cairo_lang_compiler::{
 };
 use cairo_lang_filesystem::cfg::{Cfg, CfgSet};
 use cairo_lang_starknet::starknet_plugin_suite;
-use cairo_lang_test_plugin::{compile_test_prepared_db, test_plugin_suite, TestsCompilationConfig};
+use cairo_lang_test_plugin::{
+    compile_test_prepared_db, test_plugin_suite, TestCompilation, TestsCompilationConfig,
+};
 use clap::Parser;
 use colored::Colorize;
 use std::path::PathBuf;
@@ -34,6 +36,13 @@ struct Args {
     /// The filter for the tests, running only tests containing the filter string.
     #[arg(short, long, default_value_t = String::default())]
     filter: String,
+    /// Skips compilation for tests/functions containing any of the given filters.
+    /// Unlike `--filter`, the matching tests are not even compiled by native.
+    ///
+    /// DISCLAIMER: This is a hacky and temporary flag, used to run corelib tests
+    /// when not all libfuncs are implemented.
+    #[arg(long)]
+    skip_compilation: Vec<String>,
     /// Should we run ignored tests as well.
     #[arg(long, default_value_t = false)]
     include_ignored: bool,
@@ -104,6 +113,8 @@ fn main() -> anyhow::Result<()> {
         args.filter.clone(),
     );
 
+    let compiled = filter_test_case_compilation(compiled, &args.skip_compilation);
+
     let summary = run_tests(
         compiled.metadata.named_tests,
         compiled.sierra_program.program,
@@ -127,3 +138,50 @@ fn main() -> anyhow::Result<()> {
 
     Ok(())
 }
+
+/// Removes matching tests from `TestCompilation`. This not only includes the
+/// test cases, but also the function definition in the inner sierra program.
+/// This means that the matching tests are not even compiled.
+///
+/// DISCLAIMER: This is a hacky and temporary function, used to run corelib tests
+/// when not all libfuncs are implemented.
+fn filter_test_case_compilation(
+    mut compiled: TestCompilation,
+    compilation_filter: &[String],
+) -> TestCompilation {
+    let should_skip_test = |name: &str| -> bool {
+        compilation_filter
+            .iter()
+            .any(|filter| name.contains(filter))
+    };
+
+    // Remove matching function definitions.
+    compiled.sierra_program.program.funcs.retain(|f| {
+        let name =
+            f.id.debug_name
+                .as_ref()
+                .map(|s| s.to_string())
+                .unwrap_or_default();
+
+        let skipped = should_skip_test(name.as_str());
+
+        if skipped {
+            println!("skipping compilation of: {}", name);
+        }
+
+        !skipped
+    });
+
+    // Ignore matching test cases.
+    compiled
+        .metadata
+        .named_tests
+        .iter_mut()
+        .for_each(|(test, case)| {
+            if should_skip_test(&test) {
+                case.ignored = true
+            }
+        });
+
+    compiled
+}