feat: vm.skip(true)

Cargo.toml

@@ -27,7 +27,9 @@ indexmap = "2.0.0"
 once_cell = "1.18.0"
 owo-colors = "3.5.0"
 regex = "1.10.2"
+serde = { version = "1.0.197", features = ["derive"] }
 solang-parser = "0.3.2"
+toml = "0.8.12"
 unicode-xid = "0.2.4"
 # Security patch
 zerocopy = "0.7.31"

bulloak.toml

@@ -0,0 +1 @@
+no_skip = false

src/check/context.rs

@@ -38,7 +38,7 @@ impl Context {
     pub(crate) fn new(tree: PathBuf) -> Result<Self, Violation> {
         let tree_path_cow = tree.to_string_lossy();
         let tree_contents = try_read_to_string(&tree)?;
-        let hir = crate::hir::translate(&tree_contents).map_err(|e| {
+        let hir = crate::hir::translate(&tree_contents, &false).map_err(|e| {
             Violation::new(
                 ViolationKind::ParsingFailed(e),
                 Location::File(tree_path_cow.into_owned()),

src/check/violation.rs

@@ -178,7 +178,8 @@ impl ViolationKind {
     pub(crate) fn fix(&self, mut ctx: Context) -> Context {
         match self {
             ViolationKind::ContractMissing(_) => {
-                let pt = sol::Translator::new(INTERNAL_DEFAULT_SOL_VERSION).translate(&ctx.hir);
+                let pt =
+                    sol::Translator::new(INTERNAL_DEFAULT_SOL_VERSION, &false).translate(&ctx.hir);
                 let source = sol::Formatter::new().emit(pt.clone());
                 let parsed = parse(&source).expect("should parse solidity string");
                 ctx.from_parsed(parsed)