From 85901dc1410deb193de59b6d44b00c44bca418f0 Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Wed, 2 Aug 2023 17:19:01 -0400
Subject: [PATCH] chore: update cost model with placeholders for new terms to
 pass tests

---
 crates/uplc/src/machine/cost_model.rs | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/crates/uplc/src/machine/cost_model.rs b/crates/uplc/src/machine/cost_model.rs
index 61ddb173..8d6ab4ae 100644
--- a/crates/uplc/src/machine/cost_model.rs
+++ b/crates/uplc/src/machine/cost_model.rs
@@ -147,12 +147,12 @@ impl MachineCosts {
             },
             // Placeholder values
             constr: ExBudget {
-                mem: 40000000,
-                cpu: 400000000000,
+                mem: 30000000000,
+                cpu: 30000000000,
             },
             case: ExBudget {
-                mem: 40000000,
-                cpu: 400000000000,
+                mem: 30000000000,
+                cpu: 30000000000,
             },
         }
     }
@@ -193,12 +193,12 @@ impl Default for MachineCosts {
             },
             // Placeholder values
             constr: ExBudget {
-                mem: 40000000,
-                cpu: 400000000000,
+                mem: 30000000000,
+                cpu: 30000000000,
             },
             case: ExBudget {
-                mem: 40000000,
-                cpu: 400000000000,
+                mem: 30000000000,
+                cpu: 30000000000,
             },
         }
     }
@@ -3254,6 +3254,8 @@ impl TryFrom<u8> for StepKind {
             4 => Ok(StepKind::Delay),
             5 => Ok(StepKind::Force),
             6 => Ok(StepKind::Builtin),
+            7 => Ok(StepKind::Constr),
+            8 => Ok(StepKind::Case),
             v => Err(super::error::Error::InvalidStepKind(v)),
         }
     }