From eb1466d269e3682c9d333056557798342814c470 Mon Sep 17 00:00:00 2001 From: alessandrokonrad Date: Mon, 12 Sep 2022 00:10:58 +0200 Subject: [PATCH] fixed budget calc --- crates/cli/src/utils.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/crates/cli/src/utils.rs b/crates/cli/src/utils.rs index de1cf659..ea480bdf 100644 --- a/crates/cli/src/utils.rs +++ b/crates/cli/src/utils.rs @@ -24,6 +24,7 @@ use std::{ }; use uplc::{ ast::{FakeNamedDeBruijn, NamedDeBruijn, Program}, + machine::cost_model::ExBudget, PlutusData, }; @@ -1102,8 +1103,8 @@ fn eval_redeemer( index: redeemer.index, data: redeemer.data.clone(), ex_units: ExUnits { - mem: result.1.mem as u32, - steps: result.1.cpu as u64, + mem: (ExBudget::default().mem - result.1.mem) as u32, + steps: (ExBudget::default().cpu - result.1.cpu) as u64, }, };