added ex units from haskell plc

This commit is contained in:
alessandrokonrad 2022-09-19 22:32:56 +02:00
parent 3e10fcbfbb
commit 169fa05572
2 changed files with 15 additions and 0 deletions

View File

@ -831,6 +831,12 @@ pub fn eval_redeemer(
None => ExBudget::default(), None => ExBudget::default(),
}; };
println!(
"({},{})",
initial_budget.mem - budget.mem,
initial_budget.cpu - budget.cpu
);
let new_redeemer = Redeemer { let new_redeemer = Redeemer {
tag: redeemer.tag.clone(), tag: redeemer.tag.clone(),
index: redeemer.index, index: redeemer.index,

View File

@ -258,6 +258,9 @@ fn test_eval() {
fn test_eval_1() { fn test_eval_1() {
/* /*
Haskell PLC: (738928, 215316271)
Aiken PLC: (721484, 210171376)
PlutusV2 PlutusV2
{-# INLINEABLE mintTestValidator #-} {-# INLINEABLE mintTestValidator #-}
@ -505,6 +508,9 @@ fn test_eval_1() {
fn test_eval_2() { fn test_eval_2() {
/* /*
Haskell PLC: (655782, 188449458)
Aiken PLC: (638338, 183304563)
Plutus V1 Plutus V1
{-# INLINEABLE mintTestValidator #-} {-# INLINEABLE mintTestValidator #-}
@ -911,6 +917,9 @@ fn test_eval_4() {
fn test_eval_5() { fn test_eval_5() {
/* /*
Haskell PLC: (114126, 40098159)
Aiken PLC: (114126,40211433)
Plutus V1 Plutus V1
Helios script: Helios script: