diff --git a/crates/project/src/error.rs b/crates/project/src/error.rs index 46548e41..a1bc12f9 100644 --- a/crates/project/src/error.rs +++ b/crates/project/src/error.rs @@ -293,7 +293,7 @@ impl Diagnostic for Warning { fn code<'a>(&'a self) -> Option> { match self { - Warning::Type { .. } => Some(Box::new("aiken::typecheck")), + Warning::Type { .. } => Some(Box::new("aiken::check")), } } } diff --git a/crates/project/src/lib.rs b/crates/project/src/lib.rs index a1f9552a..0138bc49 100644 --- a/crates/project/src/lib.rs +++ b/crates/project/src/lib.rs @@ -25,7 +25,10 @@ use pallas::{ use pallas_traverse::ComputeHash; use script::Script; use serde_json::json; -use uplc::ast::{DeBruijn, Program}; +use uplc::{ + ast::{DeBruijn, Program}, + machine::cost_model::ExBudget, +}; use crate::{ config::Config, @@ -481,14 +484,31 @@ impl Project { fn run_tests(&self, tests: Vec